1.1 --- a/src/Tools/isac/BaseDefinitions/rewrite-order.sml	Tue Apr 27 18:14:02 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/rewrite-order.sml	Tue Apr 27 19:52:29 2021 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4  fun assoc' ([], key) = raise ERROR ("ME_Isa: \"" ^ key ^ "\" not known")
     1.5    | assoc' ((keyi, xi) :: pairs, key) =
     1.6      if key = keyi then SOME xi else assoc' (pairs, key);
     1.7 -fun assoc_rew_ord ro = ((the o assoc') (! rew_ord',ro))
     1.8 -  handle _ => raise ERROR ("ME_Isa: rew_ord '" ^ ro ^ "' not in system");
     1.9 +fun assoc_rew_ord ro = ((the o assoc') (! rew_ord', ro))
    1.10 +  handle ERROR _ => raise ERROR ("ME_Isa: rew_ord '" ^ ro ^ "' not in system");
    1.11  
    1.12  end
    1.13 \ No newline at end of file