[Javabdd-checkins] JavaBDD/net/sf/javabdd BDDDomain.java,1.7,1.8

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

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

Modified Files:
	BDDDomain.java 
Log Message:
Add free() when using iterator()

Index: BDDDomain.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDDomain.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** BDDDomain.java	17 Apr 2005 10:21:46 -0000	1.7
--- BDDDomain.java	21 May 2005 04:37:24 -0000	1.8
***************
*** 382,385 ****
--- 382,386 ----
              BDD bi = (BDD) it.next();
              res[i] = bi.scanVar(this);
+             bi.free();
          }
          myvarset.free();