1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 01 10:24:13 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 01 12:42:39 2020 +0200
     1.3 @@ -260,9 +260,9 @@
     1.4  val oris = prep_ori ctl thy 
     1.5  		    ((#ppc o get_pbt)
     1.6  			 ["sqroot-test","univariate","equation","test"]);
     1.7 -val loc = e_istate;
     1.8 +val loc = Istate.empty;
     1.9  val (pt,pos) = (e_ctree,[]);
    1.10 -val (pt,_) = cappend_problem pt pos loc e_fmz (oris,empty_spec,e_term, ContextC.e_ctxt)
    1.11 +val (pt,_) = cappend_problem pt pos loc e_fmz (oris,empty_spec,e_term, ContextC.empty)
    1.12  val pt = update_branch pt [] TransitiveB;
    1.13  (*
    1.14  val pt = update_model pt [] (map init_item (snd (get_obj g_origin pt [])));
    1.15 @@ -328,7 +328,7 @@
    1.16  (*val pt = union_asm pt [] (map (rpair []) asm);*)
    1.17  
    1.18  val pos = lev_up pos;
    1.19 -val (pt,_) = append_result pt pos e_istate (str2term ct,[]) Complete;
    1.20 +val (pt,_) = append_result pt pos Istate.empty (str2term ct,[]) Complete;
    1.21  
    1.22  val pos = lev_on pos;
    1.23  val rls = ("Test_simplify"); val ctold = str2term ct;
    1.24 @@ -361,7 +361,7 @@
    1.25  val (pt,_) = cappend_atomic pt pos loc ctold (Tac rls) (str2term ct,[]) Complete;
    1.26  
    1.27  val pos = lev_up pos;
    1.28 -val (pt,pos) = append_result pt pos e_istate (str2term ct,[]) Complete;
    1.29 +val (pt,pos) = append_result pt pos Istate.empty (str2term ct,[]) Complete;
    1.30  Ctree.get_assumptions pt ([],Res);
    1.31  
    1.32  writeln (pr_ctree pr_short pt);