1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Sat Dec 03 19:12:38 2022 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Sun Dec 04 16:48:06 2022 +0100
     1.3 @@ -356,7 +356,7 @@
     1.4  val (pt,pos) = append_result pt pos Istate.empty (TermC.parse_test @{context} ct,[]) Complete;
     1.5  Ctree.get_assumptions pt ([],Res);
     1.6  
     1.7 -writeln (pr_ctree pr_short pt);
     1.8 +writeln (pr_ctree ctxt pr_short pt);
     1.9  (* aus src.24-11-99:
    1.10  .   sqrt(9+4*x)=sqrt x + sqrt(5+x), x, (+0)
    1.11  1.   sqrt(9+4*x)=sqrt x + sqrt(5+x)
    1.12 @@ -478,7 +478,7 @@
    1.13  val (p,_,f,nxt,_,pt)=
    1.14  me ("Check_Postcond",Check_Postcond ("Test", "solve-root-equation")) (p,Met) [17] pt;
    1.15  --- *) 
    1.16 -writeln (pr_ctree pr_short pt);
    1.17 +writeln (pr_ctree ctxt pr_short pt);
    1.18  writeln("result: "^(get_obj g_result pt [])^"\n==================================================================="*;
    1.19  *)
    1.20  
    1.21 @@ -614,7 +614,7 @@
    1.22  then error "root-equ.sml: diff.behav. in me + tacs input"
    1.23  else ();
    1.24  
    1.25 -writeln (pr_ctree pr_short pt);
    1.26 +writeln (pr_ctree ctxt pr_short pt);
    1.27  writeln("result: "^((UnparseC.term o fst o (get_obj g_result pt)) [])^
    1.28  "\n==============================================================");
    1.29