# HG changeset patch
# User kono
# Date 1200707109 -32400
# Node ID 3409453bef302d5f659abe7e4272aa27b5451b45
# Parent  bf35bebd55ab83bfb2899f9096a9827da5f4d5fc
*** empty log message ***

diff -r bf35bebd55ab -r 3409453bef30 src/lite/ITLNodeParser.java
--- a/src/lite/ITLNodeParser.java	Sat Jan 19 10:31:19 2008 +0900
+++ b/src/lite/ITLNodeParser.java	Sat Jan 19 10:45:09 2008 +0900
@@ -248,7 +248,7 @@
 		return arg;
 	}
 	
-	public ITLSolver emptyNode() {
+	public Node emptyNode() {
 		return emptyNode;
 	}
 
diff -r bf35bebd55ab -r 3409453bef30 src/parser/LogicNodeParserTest.java
--- a/src/parser/LogicNodeParserTest.java	Sat Jan 19 10:31:19 2008 +0900
+++ b/src/parser/LogicNodeParserTest.java	Sat Jan 19 10:45:09 2008 +0900
@@ -21,7 +21,7 @@
 		n = p.parse();
 		if (n!=null) System.out.print(n); System.out.println(".");
 		
-		parser = (MacroNodeParser<ITLSolver>) p;
+		parser = new MacroNodeParser<ITLSolver>("exists(x,(a,x))",lf);
 		n = parser.parse();
 		if (n!=null) System.out.print(n); System.out.println(".");