[Javabdd-checkins] JavaBDD/net/sf/javabdd JFactory.java,1.16,1.17

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

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

Modified Files:
	JFactory.java 
Log Message:
Fix stupid bug with OpCacheData.

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.16
retrieving revision 1.17
diff -C2 -d -r1.16 -r1.17
*** JFactory.java	26 Feb 2005 21:32:40 -0000	1.16
--- JFactory.java	26 Feb 2005 21:41:40 -0000	1.17
***************
*** 3436,3439 ****
--- 3436,3441 ----
          int n;
  
+         boolean is_d = cache.table instanceof BddCacheDataD[];
+ 
          free(cache.table);
          cache.table = null;
***************
*** 3441,3446 ****
          newsize = bdd_prime_gte(newsize);
  
-         boolean is_d = cache.table instanceof BddCacheDataD[];
- 
          if (is_d)
              cache.table = new BddCacheDataD[newsize];
--- 3443,3446 ----