1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Fri Apr 15 15:58:52 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Fri Apr 15 17:07:34 2011 +0200
     1.3 @@ -64,7 +64,7 @@
     1.4  "this build should be detailed each time a test fails later    \
     1.5  \i.e. all the tests should be caught here first                \
     1.6  \and linked with a reference to the respective test environment";
     1.7 -val fmz = ["equality (x+1=(2::real))",
     1.8 +val fmz = ["equality (x+1=(2::int))",
     1.9  	   "solveFor x","solutions L"];
    1.10  val (dI',pI',mI') =
    1.11    ("Test",["sqroot-test","univariate","equation","test"],