1.1 --- a/src/Tools/isac/BaseDefinitions/rule-set.sml	Tue Jun 21 13:51:04 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/rule-set.sml	Tue Jun 21 16:04:43 2022 +0200
     1.3 @@ -45,7 +45,7 @@
     1.4  type id = string;
     1.5  
     1.6  (*/------- this will disappear eventually ----------------------------------------------------\*)
     1.7 -fun dummy_ord (_: (term * term) list) (_: term, _: term) = true;
     1.8 +fun dummy_ord (_: LibraryC.subst) (_: term, _: term) = true;
     1.9  val empty =
    1.10    Rule_Def.Repeat {id = "empty", preconds = [], rew_ord = ("dummy_ord", dummy_ord), erls = Rule_Def.Empty,
    1.11      srls = Rule_Def.Empty, calc = [], rules = [], errpatts = [], scr = Rule_Def.Empty_Prog}