[Javabdd-checkins] JavaBDD/net/sf/javabdd BDDFactory.java,1.13,1.14

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/net/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17618/net/sf/javabdd

Modified Files:
	BDDFactory.java 
Log Message:
Fixed bug in bdd_default_reohandler causing wrong time to be displayed.

Index: BDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDFactory.java,v
retrieving revision 1.13
retrieving revision 1.14
diff -C2 -d -r1.13 -r1.14
*** BDDFactory.java	10 May 2005 02:56:15 -0000	1.13
--- BDDFactory.java	11 May 2005 01:24:54 -0000	1.14
***************
*** 1742,1750 ****
              if (prestate) {
                  System.out.println("Start reordering");
-                 s.usednum_before = getNodeNum();
-                 s.time = System.currentTimeMillis();
              } else {
-                 s.time = System.currentTimeMillis() - s.time;
-                 s.usednum_after = getNodeNum();
                  System.out.println("End reordering. "+s);
              }
--- 1742,1746 ----