[Javabdd-checkins] JavaBDD/net/sf/javabdd BDD.java,1.12,1.13

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

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

Modified Files:
	BDD.java 
Log Message:
Fix AllSatIterator on terminal one.

Index: BDD.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDD.java,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** BDD.java	24 May 2005 18:24:38 -0000	1.12
--- BDD.java	3 Jun 2005 20:20:16 -0000	1.13
***************
*** 561,566 ****
              loStack = new LinkedList();
              hiStack = new LinkedList();
!             if (!r.isOne()) loStack.addLast(r.id());
!             if (!gotoNext()) allsatProfile = null;
          }
          
--- 561,568 ----
              loStack = new LinkedList();
              hiStack = new LinkedList();
!             if (!r.isOne()) {
!                 loStack.addLast(r.id());
!                 if (!gotoNext()) allsatProfile = null;
!             }
          }