[Javabdd-checkins] JavaBDD/net/sf/javabdd JFactory.java,1.6,1.7

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

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

Modified Files:
	JFactory.java 
Log Message:
Cache was not being destroyed correctly when calling done().  Fixed.

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** JFactory.java	1 Nov 2004 05:01:32 -0000	1.6
--- JFactory.java	16 Nov 2004 02:00:45 -0000	1.7
***************
*** 3226,3235 ****
          }
  
!         BddCache_done(applycache);
!         BddCache_done(itecache);
!         BddCache_done(quantcache);
!         BddCache_done(appexcache);
!         BddCache_done(replacecache);
!         BddCache_done(misccache);
  
          if (supportSet != null) {
--- 3226,3235 ----
          }
  
!         BddCache_done(applycache); applycache = null;
!         BddCache_done(itecache); itecache = null;
!         BddCache_done(quantcache); quantcache = null;
!         BddCache_done(appexcache); appexcache = null;
!         BddCache_done(replacecache); replacecache = null;
!         BddCache_done(misccache); misccache = null;
  
          if (supportSet != null) {