[Javabdd-checkins] JavaBDD/org/sf/javabdd CALFactory.java,1.3,1.4

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

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

Modified Files:
	CALFactory.java 
Log Message:


Index: CALFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/CALFactory.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** CALFactory.java	22 Jul 2004 20:03:59 -0000	1.3
--- CALFactory.java	28 Jul 2004 03:39:55 -0000	1.4
***************
*** 677,680 ****
--- 677,681 ----
              return satCount0(_ddnode_ptr);
          }
+         // TODO: debug CAL satCount.
          private static native double satCount0(long b);