Mercurial > hg > Applications > JavaLite

diff src/lite/FalseSolver.java @ 74:147864a924cd remove-logicNode

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Thu, 17 Jan 2008 01:49:50 +0900
parents cbe1b120cb53
children 854477cf9aa9
line wrap: on
line diff
--- a/src/lite/FalseSolver.java	Wed Jan 16 14:34:11 2008 +0900
+++ b/src/lite/FalseSolver.java	Thu Jan 17 01:49:50 2008 +0900
@@ -1,6 +1,6 @@
 package lite;
 
-import logicNode.parser.TokenID;
+import parser.TokenID;
 import sbdd.SBDDFactoryInterface;
 import verifier.Backtrack;