1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -264,7 +264,7 @@
     1.4  		    ((#ppc o get_pbt)
     1.5  			 ["sqroot-test","univariate","equation","test"]);
     1.6  val loc = e_istate;
     1.7 -val (pt,pos) = (e_ptree,[]);
     1.8 +val (pt,pos) = (e_ctree,[]);
     1.9  val (pt,_) = cappend_problem pt pos loc e_fmz (oris,empty_spec,e_term);
    1.10  val pt = update_branch pt [] TransitiveB;
    1.11  (*
    1.12 @@ -367,7 +367,7 @@
    1.13  val (pt,pos) = append_result pt pos e_istate (str2term ct,[]) Complete;
    1.14  get_assumptions_ pt ([],Res);
    1.15  
    1.16 -writeln (pr_ptree pr_short pt);
    1.17 +writeln (pr_ctree pr_short pt);
    1.18  (* aus src.24-11-99:
    1.19  .   sqrt(9+4*x)=sqrt x + sqrt(5+x), x, (+0)
    1.20  1.   sqrt(9+4*x)=sqrt x + sqrt(5+x)
    1.21 @@ -492,7 +492,7 @@
    1.22  val (p,_,f,nxt,_,pt)=
    1.23  me ("Check_Postcond",Check_Postcond ("Test","solve-root-equation")) (p,Met) [17] pt;
    1.24  --- *) 
    1.25 -writeln (pr_ptree pr_short pt);
    1.26 +writeln (pr_ctree pr_short pt);
    1.27  writeln("result: "^(get_obj g_result pt [])^"\n==================================================================="*;
    1.28  *)
    1.29  
    1.30 @@ -632,7 +632,7 @@
    1.31  then error "root-equ.sml: diff.behav. in me + tacs input"
    1.32  else ();
    1.33  
    1.34 -writeln (pr_ptree pr_short pt);
    1.35 +writeln (pr_ctree pr_short pt);
    1.36  writeln("result: "^((term2str o fst o (get_obj g_result pt)) [])^
    1.37  "\n==============================================================");
    1.38