1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method.sml	Sat Dec 21 16:45:10 2019 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method.sml	Sat Dec 21 18:05:13 2019 +0100
     1.3 @@ -23,11 +23,11 @@
     1.4  val (p, f, nxt, pt) = (p'''',f'''',nxt'''',pt'''');
     1.5  "~~~~~ fun me, args:"; val tac = nxt;
     1.6      val (pt, p) = 
     1.7 -	    (*locatetac is here for testing by me; step would suffice in me*)
     1.8 +	    (*locatetac is here for testing by me; Math_Engine.do_next would suffice in me*)
     1.9  	    case locatetac tac (pt,p) of
    1.10  		    ("ok", (_, _, ptp)) => ptp | _ => error "CHANGED --- Minisubplb/200-start-method 1"
    1.11 -(* step p ((pt, e_pos'),[])  ..ERROR  = ("helpless",*)
    1.12 -"~~~~~ fun step, args:"; val (((ip as (_,p_)):pos'), ((ptp as (pt,p), tacis):calcstate)) =
    1.13 +(* Math_Engine.do_next p ((pt, e_pos'),[])  ..ERROR  = ("helpless",*)
    1.14 +"~~~~~ fun Math_Engine.do_next, args:"; val (((ip as (_,p_)):pos'), ((ptp as (pt,p), tacis):calcstate)) =
    1.15    (p, ((pt, e_pos'),[]));
    1.16  val pIopt = get_pblID (pt,ip);
    1.17  ip = ([],Res) (*= false*);
    1.18 @@ -119,7 +119,7 @@
    1.19  "~~~~~ continue me (@3) after locatetac";
    1.20  val (pt, p) = (pt''''',p''''');
    1.21  "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~";
    1.22 -"~~~~~ fun step, args:"; val ((ip as (_, p_)), (ptp as (pt,p), tacis)) = (p, ((pt, Pos.e_pos'),[]));
    1.23 +"~~~~~ fun Math_Engine.do_next, args:"; val ((ip as (_, p_)), (ptp as (pt,p), tacis)) = (p, ((pt, Pos.e_pos'),[]));
    1.24  val pIopt = get_pblID (pt,ip);
    1.25  ip = ([], Pos.Res) (* = false*);
    1.26  case tacis of [] => ();