[Javabdd-checkins] JavaBDD/net/sf/javabdd BDD.java,1.4,1.5

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

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

Modified Files:
	BDD.java 
Log Message:
Duh.

Index: BDD.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDD.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** BDD.java	26 Jan 2005 23:40:37 -0000	1.4
--- BDD.java	26 Jan 2005 23:46:17 -0000	1.5
***************
*** 776,785 ****
                      sb.append(") not in iteration set:\n");
                      for (int k = 0; k < levels.length; ++k) {
!                         sb.append(factory.level2Var(k));
                          if (k < levels.length-1) sb.append(",");
                      }
                      sb.append("\n(levels: ");
                      for (int k = 0; k < levels.length; ++k) {
!                         sb.append(k);
                          if (k < levels.length-1) sb.append(",");
                      }
--- 776,785 ----
                      sb.append(") not in iteration set:\n");
                      for (int k = 0; k < levels.length; ++k) {
!                         sb.append(factory.level2Var(levels[k]));
                          if (k < levels.length-1) sb.append(",");
                      }
                      sb.append("\n(levels: ");
                      for (int k = 0; k < levels.length; ++k) {
!                         sb.append(levels[k]);
                          if (k < levels.length-1) sb.append(",");
                      }