[Javabdd-checkins] JavaBDD/org/sf/javabdd BDDFactory.java,1.26,1.27

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

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

Modified Files:
	BDDFactory.java 
Log Message:
Fixed bug, Java version of save() was implicitly freeing the saved BDD.

Index: BDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDDFactory.java,v
retrieving revision 1.26
retrieving revision 1.27
diff -C2 -d -r1.26 -r1.27
*** BDDFactory.java	2 Aug 2004 20:32:59 -0000	1.26
--- BDDFactory.java	14 Sep 2004 04:25:09 -0000	1.27
***************
*** 511,515 ****
          for (Iterator it = visited.keySet().iterator(); it.hasNext(); ) {
              BDD b = (BDD) it.next();
!             b.free();
          }
      }
--- 511,515 ----
          for (Iterator it = visited.keySet().iterator(); it.hasNext(); ) {
              BDD b = (BDD) it.next();
!             if (b != r) b.free();
          }
      }