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