diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/OLDTESTS/root-equ.sml
--- a/test/Tools/isac/OLDTESTS/root-equ.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -264,7 +264,7 @@
 		    ((#ppc o get_pbt)
 			 ["sqroot-test","univariate","equation","test"]);
 val loc = e_istate;
-val (pt,pos) = (e_ptree,[]);
+val (pt,pos) = (e_ctree,[]);
 val (pt,_) = cappend_problem pt pos loc e_fmz (oris,empty_spec,e_term);
 val pt = update_branch pt [] TransitiveB;
 (*
@@ -367,7 +367,7 @@
 val (pt,pos) = append_result pt pos e_istate (str2term ct,[]) Complete;
 get_assumptions_ pt ([],Res);
 
-writeln (pr_ptree pr_short pt);
+writeln (pr_ctree pr_short pt);
 (* aus src.24-11-99:
 .   sqrt(9+4*x)=sqrt x + sqrt(5+x), x, (+0)
 1.   sqrt(9+4*x)=sqrt x + sqrt(5+x)
@@ -492,7 +492,7 @@
 val (p,_,f,nxt,_,pt)=
 me ("Check_Postcond",Check_Postcond ("Test","solve-root-equation")) (p,Met) [17] pt;
 --- *) 
-writeln (pr_ptree pr_short pt);
+writeln (pr_ctree pr_short pt);
 writeln("result: "^(get_obj g_result pt [])^"\n==================================================================="*;
 *)
 
@@ -632,7 +632,7 @@
 then error "root-equ.sml: diff.behav. in me + tacs input"
 else ();
 
-writeln (pr_ptree pr_short pt);
+writeln (pr_ctree pr_short pt);
 writeln("result: "^((term2str o fst o (get_obj g_result pt)) [])^
 "\n==============================================================");