1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Mar 04 15:41:32 2020 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Mar 04 17:48:37 2020 +0100
     1.3 @@ -262,7 +262,7 @@
     1.4  			 ["sqroot-test","univariate","equation","test"]);
     1.5  val loc = e_istate;
     1.6  val (pt,pos) = (e_ctree,[]);
     1.7 -val (pt,_) = cappend_problem pt pos loc e_fmz (oris,empty_spec,e_term);
     1.8 +val (pt,_) = cappend_problem pt pos loc e_fmz (oris,empty_spec,e_term, ContextC.e_ctxt)
     1.9  val pt = update_branch pt [] TransitiveB;
    1.10  (*
    1.11  val pt = update_model pt [] (map init_item (snd (get_obj g_origin pt [])));