diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/Interpret/calchead.sml
--- a/test/Tools/isac/Interpret/calchead.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/Interpret/calchead.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -737,7 +737,7 @@
 		     Free ("1", "Real.real")) $
 		    Free ("x", "Real.real"))),
        ostate = Incomplete, result = (Const ("empty", "'a"), [])},
-       []) : ptree*)
+       []) : ctree*)
 "----- WN101007 worked until here (checked same as isac2002) ---";
 case nxt of ("Model_Problem", Model_Problem) => ()
 | _ => error "clchead.sml: check specify phase step 1";
@@ -810,13 +810,13 @@
 		   Free ("1", "Real.real")) $
                         Free ("x", "Real.real"))),
        ostate = Incomplete, result = (Const ("empty", "'a"), [])},
-       []) : ptree*)
-"----- WN101007 ptree checked same as isac2002, diff. in nxt --- REPAIRED";
+       []) : ctree*)
+"----- WN101007 ctree checked same as isac2002, diff. in nxt --- REPAIRED";
 case nxt of ("Add_Given", Add_Given "functionTerm (x + 1)") => ()
 | _ => error "clchead.sml: check specify phase step 2";
 "--- step 3 --";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
-"----- WN101008 ptree checked same as isac2002, diff. in nxt --- REPAIRED";
+"----- WN101008 ctree checked same as isac2002, diff. in nxt --- REPAIRED";
 case nxt of ("Add_Given", Add_Given "integrateBy x") => ()
 | _ => error "clchead.sml: check specify phase step 2";