From: John W. <joe...@us...> - 2004-09-15 19:35:38
|
Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17706/org/sf/javabdd Modified Files: BDDFactory.java Log Message: Add error message. Index: BDDFactory.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDDFactory.java,v retrieving revision 1.27 retrieving revision 1.28 diff -C2 -d -r1.27 -r1.28 *** BDDFactory.java 14 Sep 2004 04:25:09 -0000 1.27 --- BDDFactory.java 15 Sep 2004 19:35:25 -0000 1.28 *************** *** 66,71 **** if (bddpackage.equals("typed")) return TypedBDDFactory.init(nodenum, cachesize); ! } catch (LinkageError _) { ! System.out.println("Could not load BDD package "+bddpackage); } try { --- 66,71 ---- if (bddpackage.equals("typed")) return TypedBDDFactory.init(nodenum, cachesize); ! } catch (LinkageError e) { ! System.out.println("Could not load BDD package "+bddpackage+": "+e.getLocalizedMessage()); } try { |