1.1 --- a/test/Tools/isac/Minisubpbl/400-start-meth-subpbl.sml	Fri May 01 15:28:40 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/400-start-meth-subpbl.sml	Fri May 01 16:06:59 2020 +0200
     1.3 @@ -40,7 +40,7 @@
     1.4    val ("ok", (_, _, (pt'''', p''''))) = (*case*)
     1.5        Step.by_tactic tac (pt, p) (*of*);
     1.6  "~~~~~ fun by_tactic , args:"; val (tac, (ptp as (pt, p))) = (tac, (pt,p));
     1.7 -   val Applicable.Yes m = (*case*) applicable_in p pt tac (*of*);
     1.8 +   val Applicable.Yes m = (*case*) Step.check tac (pt, p) (*of*);
     1.9    (*if*) Tactic.for_specify' m; (*false*)
    1.10  
    1.11  Step_Solve.by_tactic m ptp;