diff -r 5b2d3303e56e -r a1d13f3de312 test/Tools/isac/Interpret/inform.sml --- a/test/Tools/isac/Interpret/inform.sml Thu Dec 30 14:25:19 2010 +0100 +++ b/test/Tools/isac/Interpret/inform.sml Fri Dec 31 14:54:02 2010 +0100 @@ -471,7 +471,7 @@ "--------- inform [rational,simplification] ----------------------"; "--------- inform [rational,simplification] ----------------------"; states:=[]; -CalcTree [(["TERM (4/x - 3/y - 1)", "normalform N"], +CalcTree [(["Term (4/x - 3/y - 1)", "normalform N"], ("Rational",["rational","simplification"], ["simplification","of_rationals"]))]; Iterator 1; moveActiveRoot 1;