1.1 --- a/test/Tools/isac/MathEngBasic/mstools.sml	Mon Dec 23 16:38:09 2019 +0100
     1.2 +++ b/test/Tools/isac/MathEngBasic/mstools.sml	Mon Dec 23 16:58:36 2019 +0100
     1.3 @@ -49,7 +49,7 @@
     1.4  "~~~~~ fun me, args:"; val (tac) = nxt;
     1.5  val (pt, p) = case locatetac tac (pt,p) of
     1.6  	("ok", (_, _, ptp))  => ptp | _ => error "script.sml locatetac";
     1.7 -"~~~~~ fun Math_Engine.do_next, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), []))
     1.8 +"~~~~~ fun Step.do_next, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), []))
     1.9  val pIopt = get_pblID (pt,ip);
    1.10  tacis; (*= []*)
    1.11  pIopt; (*= SOME ["sqroot-test", "univariate", ...]*)