From: John W. <joe...@us...> - 2005-01-31 12:04:54
|
Update of /cvsroot/javabdd/JavaBDD/net/sf/javabdd In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16618/net/sf/javabdd Modified Files: MicroFactory.java Log Message: Fix typo in appuni() Index: MicroFactory.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/MicroFactory.java,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** MicroFactory.java 31 Jan 2005 10:34:18 -0000 1.4 --- MicroFactory.java 31 Jan 2005 12:04:45 -0000 1.5 *************** *** 2136,2142 **** } ! if (ISCONST(l) && ISCONST(r)) res = oprres[appexop][(l << 1) | r]; ! else if (ISCONST(var)) { int oldop = applyop; applyop = appexop; --- 2136,2143 ---- } ! if (ISCONST(l) && ISCONST(r)) { res = oprres[appexop][(l << 1) | r]; ! return res; ! } else if (ISCONST(var)) { int oldop = applyop; applyop = appexop; |