1.1 --- a/src/Tools/isac/MathEngBasic/rewrite.sml	Thu Apr 29 09:55:06 2021 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/rewrite.sml	Thu Apr 29 11:36:11 2021 +0200
     1.3 @@ -216,7 +216,7 @@
     1.4                  Pattern.match thy (pat, t) (Vartab.empty, Vartab.empty)
     1.5               in
     1.6                snd (eval__true thy (i + 1) (map (Envir.subst_term subst) pres) [] erls)
     1.7 -             end) handle STOP_REW_SUB => false
     1.8 +             end) handle Pattern.MATCH => false
     1.9             fun scan_ _ [] = false
    1.10               | scan_ f (pp :: pps) =
    1.11                 if f pp then true else scan_ f pps;