1.1 --- a/test/Tools/isac/Interpret/inform.sml	Thu Dec 30 14:25:19 2010 +0100
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Fri Dec 31 14:54:02 2010 +0100
     1.3 @@ -471,7 +471,7 @@
     1.4  "--------- inform [rational,simplification] ----------------------";
     1.5  "--------- inform [rational,simplification] ----------------------";
     1.6  states:=[];
     1.7 -CalcTree [(["TERM (4/x - 3/y - 1)", "normalform N"],
     1.8 +CalcTree [(["Term (4/x - 3/y - 1)", "normalform N"],
     1.9  	   ("Rational",["rational","simplification"],
    1.10  	    ["simplification","of_rationals"]))];
    1.11  Iterator 1; moveActiveRoot 1;