1.1 --- a/src/Tools/isac/BaseDefinitions/rule-set.sml	Mon May 11 11:22:46 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/rule-set.sml	Mon May 11 11:38:52 2020 +0200
     1.3 @@ -112,7 +112,7 @@
     1.4  	    calc = union Eval_Def.calc_eq ca1 ca2,
     1.5  		  rules = union Rule.equal rs1 rs2,
     1.6        errpatts = union (op =) eps1 eps2}
     1.7 -  | merge id _ _ = error ("merge: \"" ^ id ^ 
     1.8 +  | merge id _ _ = raise ERROR ("merge: \"" ^ id ^ 
     1.9      "\"; not for reverse-rewrite-rule-sets and not for mixed Rls -- Rule_Def.Sequence");
    1.10  
    1.11  (* datastructure for KEStore_Elems, intermediate for thehier *)