1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Mon May 04 18:47:27 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Tue May 05 09:07:36 2020 +0200
     1.3 @@ -262,7 +262,7 @@
     1.4  			 ["sqroot-test","univariate","equation","test"]);
     1.5  val loc = Istate.empty;
     1.6  val (pt,pos) = (e_ctree,[]);
     1.7 -val (pt,_) = cappend_problem pt pos loc e_fmz (oris,empty_spec,TermC.empty, ContextC.empty)
     1.8 +val (pt,_) = cappend_problem pt pos loc Formalise.empty (oris,empty_spec,TermC.empty, ContextC.empty)
     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 [])));