Mercurial > hg > Applications > JavaLite

diff src/lite/ITLCommander.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 034c573af8ea
children 70cc3ff5c73b
line wrap: on
line diff
--- a/src/lite/ITLCommander.java	Wed Jan 16 14:34:11 2008 +0900
+++ b/src/lite/ITLCommander.java	Thu Jan 17 01:49:50 2008 +0900
@@ -3,9 +3,10 @@
 import java.util.HashMap;
 import java.util.LinkedList;
 
+import parser.Command;
+
 import sbdd.BDDDiagnosis;
 import sbdd.BDDSatisfier;
-import logicNode.parser.Command;
 
 public class ITLCommander<Node extends ITLSolver> implements Command<Node> {