--- a/src/parser/LogicNodeScannerTest.java	Fri Jan 18 20:52:45 2008 +0900
+++ b/src/parser/LogicNodeScannerTest.java	Fri Jan 18 21:20:23 2008 +0900
@@ -3,11 +3,11 @@
 import java.io.FileNotFoundException;
 import java.io.FileReader;
 
-import verifier.LogicSolver;
+import lite.ITLSolver;
 
 public class LogicNodeScannerTest {
 	
-	public static LogicNodeScanner<LogicSolver> scan;
+	public static LogicNodeScanner<ITLSolver> scan;
 
 	public static void main(String arg[]) {
 		initScanner();
@@ -25,20 +25,20 @@
 	}
 	
 	public static void initScanner() {
-		Dictionary<LogicSolver> dict = new Dictionary<LogicSolver>();
-		scan = new LogicNodeScanner<LogicSolver>(dict);
+		Dictionary<ITLSolver> dict = new Dictionary<ITLSolver>();
+		scan = new LogicNodeScanner<ITLSolver>(dict);
 	}
 
 
 	public static void scan(String exp) {
-		for(Token<LogicSolver> t : scan.scanToken(exp)) {
+		for(Token<ITLSolver> t : scan.scanToken(exp)) {
 			System.out.print(t+" ");
 		}
 		System.out.println();
 	}
 	
 	public static void scan(FileReader file) {
-		for(Token<LogicSolver> t : scan.scanToken(file)) {
+		for(Token<ITLSolver> t : scan.scanToken(file)) {
 			System.out.print(t+" ");
 			System.out.println();
 		}