[Javabdd-checkins] JavaBDD/net/sf/javabdd BDD.java,1.10,1.11

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

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

Modified Files:
	BDD.java 
Log Message:
Fixed stupid bug in iterator.  It was freeing old returned BDDs.

Index: BDD.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDD.java,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** BDD.java	21 May 2005 10:14:36 -0000	1.10
--- BDD.java	24 May 2005 00:17:42 -0000	1.11
***************
*** 1053,1057 ****
                  throw new NoSuchElementException();
              }
!             if (lastReturned != null) lastReturned.free();
              lastReturned = f.one();
              //for (int i = 0; i < v.length; ++i) {
--- 1053,1057 ----
                  throw new NoSuchElementException();
              }
!             //if (lastReturned != null) lastReturned.free();
              lastReturned = f.one();
              //for (int i = 0; i < v.length; ++i) {