1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Wed Apr 29 09:03:01 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Wed Apr 29 12:30:51 2020 +0200
     1.3 @@ -1215,7 +1215,7 @@
     1.4  val Rewrite_Inst ([bbb as "(''bdv'', x)"], ("diff_sin_chain", ttt)) = tac;
     1.5  if (UnparseC.term o Thm.prop_of) ttt = "d_d ?bdv (sin ?u) = cos ?u * d_d ?bdv ?u" then ()
     1.6  else error "inputFillFormula changed 10";
     1.7 -  val Appl rew = applicable_in pos pt tac;
     1.8 +  val Applicable.Yes rew = applicable_in pos pt tac;
     1.9    val Rewrite_Inst' (_, _, _, _, _, _, _, (res, _)) = rew;
    1.10  
    1.11  "~~~~~ to inputFillFormula return val:"; val ("ok", tac) = ("ok", tac);