[Javabdd-checkins] JavaBDD/buddy/src kernel.h,1.5,1.6

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

Update of /cvsroot/javabdd/JavaBDD/buddy/src
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv26353/buddy/src

Modified Files:
	kernel.h 
Log Message:
Changed default max node increment.


Index: kernel.h
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/kernel.h,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** kernel.h	17 Apr 2005 10:21:27 -0000	1.5
--- kernel.h	18 Apr 2005 23:10:21 -0000	1.6
***************
*** 370,374 ****
  #endif
  
! #define DEFAULTMAXNODEINC 50000
  
  #define MIN(a,b) ((a) < (b) ? (a) : (b))
--- 370,374 ----
  #endif
  
! #define DEFAULTMAXNODEINC 10000000
  
  #define MIN(a,b) ((a) < (b) ? (a) : (b))