[Javabdd-checkins] JavaBDD_tests/regression R1.java,1.1,1.2

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

Update of /cvsroot/javabdd/JavaBDD_tests/regression
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv10150/regression

Modified Files:
	R1.java 
Log Message:


Index: R1.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/regression/R1.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** R1.java	28 Jul 2004 09:35:25 -0000	1.1
--- R1.java	28 Jul 2004 09:38:34 -0000	1.2
***************
*** 30,33 ****
--- 30,35 ----
          double s2 = x.satCount(set);
          Assert.assertEquals(s1, s2, 0.00001);
+         x.free(); set.free();
+         bdd.done();
      }
  }