1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Sat Oct 09 16:04:19 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Sat Oct 09 16:20:02 2010 +0200
     1.3 @@ -640,6 +640,8 @@
     1.4         ostate = Incomplete, result = (Const ("empty", "'a"), [])},
     1.5         []) : ptree*)
     1.6  "----- WN101007 worked until here (checked same as isac2002) ---";
     1.7 +if nxt = ("Model_Problem", Model_Problem) then ()
     1.8 +else error "clchead.sml: check specify phase step 1";
     1.9  "--- step 2 --";
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt; (*Florian: see response buffer, top*)
    1.11  (*val it = "--- step 2 --" : string
    1.12 @@ -711,8 +713,13 @@
    1.13         ostate = Incomplete, result = (Const ("empty", "'a"), [])},
    1.14         []) : ptree*)
    1.15  "----- WN101007 ptree checked same as isac2002, diff. in nxt --- REPAIRED";
    1.16 +if nxt = ("Add_Given", Add_Given "functionTerm (x + 1)") then ()
    1.17 +else error "clchead.sml: check specify phase step 2";
    1.18  "--- step 3 --";
    1.19  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.20 -"----- WN101008 ptree checked same as isac2002, diff. in nxt --- ";
    1.21 +"----- WN101008 ptree checked same as isac2002, diff. in nxt --- REPAIRED";
    1.22 +if nxt = ("Add_Given", Add_Given "integrateBy x") then ()
    1.23 +else error "clchead.sml: check specify phase step 2";
    1.24 +
    1.25  (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
    1.26  -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)