[Javabdd-checkins] JavaBDD/org/sf/javabdd JDDFactory.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-serv30084/org/sf/javabdd

Modified Files:
	JDDFactory.java 
Log Message:
Added BDD cleanup call.

Index: JDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JDDFactory.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** JDDFactory.java	2 Aug 2004 20:20:53 -0000	1.3
--- JDDFactory.java	14 Sep 2004 23:54:10 -0000	1.4
***************
*** 532,536 ****
       */
      public void done() {
!         // TODO Auto-generated method stub
      }
  
--- 532,536 ----
       */
      public void done() {
!         bdd.cleanup();
      }