diff -r c1859b72ae8d -r 2476f5f0f9ee test/Tools/isac/Interpret/ctree.sml
--- a/test/Tools/isac/Interpret/ctree.sml	Mon Apr 04 11:05:07 2011 +0200
+++ b/test/Tools/isac/Interpret/ctree.sml	Wed Apr 06 18:01:02 2011 +0200
@@ -64,17 +64,17 @@
 "this build should be detailed each time a test fails later    \
 \i.e. all the tests should be caught here first                \
 \and linked with a reference to the respective test environment";
-val fmz = ["equality (x+1=(2::int))",
-	   "solveFor (x::int)","solutions L"];
+val fmz = ["equality (x + 1 = (2::int))",
+	   "solveFor x","solutions L"];
 val (dI',pI',mI') =
   ("Test",["sqroot-test","univariate","equation","test"],
    ["Test","squ-equ-test-subpbl1"]);
 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
-val (p,_,f,(nxt,tacx),_,pt) = me nxt p [1] pt;
+val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (* error happens here *)
 (* nxt = Add_Given "equality (x + 1 = 2)"
    (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
    *)
-val (p,_,f,nxt,_,pt) = me (nxt,tacx) p [1] pt;
+val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 (* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
    *)
 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;