[Javabdd-checkins] JavaBDD/net/sf/javabdd BDDDomain.java,1.2,1.3

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

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

Modified Files:
	BDDDomain.java 
Log Message:
Don't use == on BigInteger's!


Index: BDDDomain.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDDomain.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** BDDDomain.java	18 Oct 2004 09:35:20 -0000	1.2
--- BDDDomain.java	27 Oct 2004 22:31:14 -0000	1.3
***************
*** 178,182 ****
       */
      public BDD buildEquals(BDDDomain that) {
!         if (this.size() != that.size()) {
              throw new BDDException();
          }
--- 178,182 ----
       */
      public BDD buildEquals(BDDDomain that) {
!         if (!this.size().equals(that.size())) {
              throw new BDDException();
          }