[Javabdd-checkins] JavaBDD_tests/regression R1.java,1.4,1.5

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

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

Modified Files:
	R1.java 
Log Message:
Assert that we have at least one BDD factory.

Index: R1.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/regression/R1.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** R1.java	16 Oct 2004 04:31:28 -0000	1.4
--- R1.java	19 Oct 2004 06:51:21 -0000	1.5
***************
*** 22,25 ****
--- 22,26 ----
      
      public void testR1() {
+         Assert.assertTrue(hasNext());
          while (hasNext()) {
              BDDFactory bdd = nextFactory();