# HG changeset patch
# User kono
# Date 1200706005 -32400
# Node ID 91560a83a1fd449ec8499260f6b60860343e4425
# Parent  5bd5c58edfd063908cde73fea8930925f92c8de3
*** empty log message ***

diff -r 5bd5c58edfd0 -r 91560a83a1fd src/lite/ITLNodeFactoryInterface.java
--- a/src/lite/ITLNodeFactoryInterface.java	Sat Jan 19 10:26:32 2008 +0900
+++ b/src/lite/ITLNodeFactoryInterface.java	Sat Jan 19 10:26:45 2008 +0900
@@ -4,6 +4,8 @@
 
 public interface ITLNodeFactoryInterface<T extends ITLSolver> 
       extends LogicNodeFactoryInterface<T> {
+	// Eclipse java builder happy with ITLNodeFactoryInterface<T>
+	// but ant said verify error. ITLNodeFactoryInterface<T extends ITLSolver> is Ok.
 
 	public T chopNode(T former, T later) ;
 	public T emptyNode();