1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Fri Oct 08 18:51:23 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Fri Oct 08 18:58:24 2010 +0200
     1.3 @@ -710,13 +710,9 @@
     1.4                          Free ("x", "RealDef.real"))),
     1.5         ostate = Incomplete, result = (Const ("empty", "'a"), [])},
     1.6         []) : ptree*)
     1.7 -"----- WN101007 ptree checked same as isac2002, diff. in nxt ---";
     1.8 -
     1.9 -
    1.10 -(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
    1.11 -nxt_specif_additem "#Given" ;
    1.12 -
    1.13 -
    1.14 +"----- WN101007 ptree checked same as isac2002, diff. in nxt --- REPAIRED";
    1.15  "--- step 3 --";
    1.16  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.17 +"----- WN101008 ptree checked same as isac2002, diff. in nxt --- ";
    1.18 +(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
    1.19  -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)