1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Wed Apr 06 18:01:02 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Thu Apr 07 16:31:05 2011 +0200
     1.3 @@ -64,13 +64,13 @@
     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::int))",
     1.8 +val fmz = ["equality (x+1=(2::real))",
     1.9  	   "solveFor x","solutions L"];
    1.10  val (dI',pI',mI') =
    1.11    ("Test",["sqroot-test","univariate","equation","test"],
    1.12     ["Test","squ-equ-test-subpbl1"]);
    1.13  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.14 -val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (* error happens here *)
    1.15 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.16  (* nxt = Add_Given "equality (x + 1 = 2)"
    1.17     (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
    1.18     *)