diff -r 24609758d219 -r 028442673981 test/Tools/isac/Knowledge/simplify.sml
--- a/test/Tools/isac/Knowledge/simplify.sml	Wed Sep 08 16:45:27 2010 +0200
+++ b/test/Tools/isac/Knowledge/simplify.sml	Wed Sep 08 16:47:22 2010 +0200
@@ -41,7 +41,7 @@
 "----------- append inform with final result ---------------------";
 states:=[];
 CalcTree [(["TERM ((14 * x * y) / ( x * y ))", "normalform N"],
-	   ("Rational.thy",["rational","simplification"],
+	   ("Rational",["rational","simplification"],
 	    ["simplification","of_rationals"]))];
 Iterator 1;
 moveActiveRoot 1;