[Javabdd-checkins] JavaBDD/net/sf/javabdd BDDFactory.java,1.11,1.12
Brought to you by:
joewhaley
From: John W. <joe...@us...> - 2005-05-06 23:50:56
|
Update of /cvsroot/javabdd/JavaBDD/net/sf/javabdd In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9344/net/sf/javabdd Modified Files: BDDFactory.java Log Message: Fixed reorder callback. Index: BDDFactory.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDFactory.java,v retrieving revision 1.11 retrieving revision 1.12 diff -C2 -d -r1.11 -r1.12 *** BDDFactory.java 4 May 2005 22:31:35 -0000 1.11 --- BDDFactory.java 6 May 2005 23:50:47 -0000 1.12 *************** *** 1719,1723 **** bdd_default_reohandler(b, s); } else { ! doCallbacks(reorder_callbacks, new Integer(b?1:0), s); } } --- 1719,1723 ---- bdd_default_reohandler(b, s); } else { ! doCallbacks(reorder_callbacks, new Boolean(b), s); } } |