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