1.1 --- a/test/Tools/isac/MathEngBasic/rewrite.sml	Thu Apr 29 14:13:11 2021 +0200
     1.2 +++ b/test/Tools/isac/MathEngBasic/rewrite.sml	Thu Apr 29 17:02:10 2021 +0200
     1.3 @@ -402,7 +402,7 @@
     1.4  					(map (Envir.subst_term subst) pres)
     1.5  					[] erls)
     1.6  		     end)
     1.7 -		    handle _ => false
     1.8 +		    handle Pattern.MATCH => false
     1.9  		fun scan_ f [] = false (*scan_ NEVER called by []*)
    1.10  		  | scan_ f (pp::pps) = if f pp then true
    1.11  					else scan_ f pps;
    1.12 @@ -428,8 +428,8 @@
    1.13  					(map (Envir.subst_term subst) pres)
    1.14  					[] erls)
    1.15  		     end)
    1.16 -		    handle _ => false;
    1.17 -		fun scan_ f [] = false (*scan_ NEVER called by []*)
    1.18 +		    handle Pattern.MATCH => false;
    1.19 +		fun scan_ _ [] = false (*scan_ NEVER called by []*)
    1.20  		  | scan_ f (pp::pps) = if f pp then true
    1.21  					else scan_ f pps;
    1.22  tracing "=== poly.sml: scan_ chk prepat begin";