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

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

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

Modified Files:
	BDDDomain.java 
Log Message:
Add error message.

Index: BDDDomain.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDDomain.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** BDDDomain.java	27 Oct 2004 22:31:14 -0000	1.3
--- BDDDomain.java	1 Nov 2004 09:41:50 -0000	1.4
***************
*** 179,183 ****
      public BDD buildEquals(BDDDomain that) {
          if (!this.size().equals(that.size())) {
!             throw new BDDException();
          }
  
--- 179,183 ----
      public BDD buildEquals(BDDDomain that) {
          if (!this.size().equals(that.size())) {
!             throw new BDDException("Size of "+this+" != size of that "+that+"( "+this.size()+" vs "+that.size()+")");
          }