1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Tue Mar 31 14:05:10 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Tue Mar 31 15:43:33 2020 +0200
     1.3 @@ -362,7 +362,7 @@
     1.4  
     1.5  val pos = lev_up pos;
     1.6  val (pt,pos) = append_result pt pos e_istate (str2term ct,[]) Complete;
     1.7 -get_assumptions_ pt ([],Res);
     1.8 +Ctree.get_assumptions pt ([],Res);
     1.9  
    1.10  writeln (pr_ctree pr_short pt);
    1.11  (* aus src.24-11-99: