diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/OLDTESTS/scriptnew.sml
--- a/test/Tools/isac/OLDTESTS/scriptnew.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/OLDTESTS/scriptnew.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -294,7 +294,7 @@
 (* val nxt = ("End_Proof'",End_Proof');*)
 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
-writeln (pr_ptree pr_short pt);
+writeln (pr_ctree pr_short pt);
 writeln("result: "^((term2str o fst o (get_obj g_result pt)) [])^
 "\n=============================================================");
 (*get_obj g_asm pt [];