1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Sun May 10 15:55:30 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Sun May 10 17:26:36 2020 +0200
     1.3 @@ -619,7 +619,7 @@
     1.4  val nxt = ("Check_Postcond",Check_Postcond ["sqroot-test","univariate","equation","test"]);
     1.5  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.6  (* val nxt = ("End_Proof'",End_Proof');*)
     1.7 -if f <> (Form' (FormKF (~1,EdUndef,0,Nundef,"[x = 4]")))
     1.8 +if f <> (Form' (Test_Out.FormKF (~1,EdUndef,0,Nundef,"[x = 4]")))
     1.9  then error "root-equ.sml: diff.behav. in me + tacs input"
    1.10  else ();
    1.11