[Javabdd-checkins] JavaBDD/net/sf/javabdd JFactory.java,1.21,1.22

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

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

Modified Files:
	JFactory.java 
Log Message:
Change default max node increase to 10M.

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.21
retrieving revision 1.22
diff -C2 -d -r1.21 -r1.22
*** JFactory.java	29 Apr 2005 06:43:31 -0000	1.21
--- JFactory.java	6 May 2005 23:54:52 -0000	1.22
***************
*** 720,724 ****
              "Division by zero" };
  
!     static final int DEFAULTMAXNODEINC = 50000;
  
      /*=== OTHER INTERNAL DEFINITIONS =======================================*/
--- 720,724 ----
              "Division by zero" };
  
!     static final int DEFAULTMAXNODEINC = 10000000;
  
      /*=== OTHER INTERNAL DEFINITIONS =======================================*/