diff -r ce09935439b3 -r 2e0b7ca391dc src/Tools/isac/BaseDefinitions/rule-set.sml
--- a/src/Tools/isac/BaseDefinitions/rule-set.sml	Wed Aug 03 18:17:27 2022 +0200
+++ b/src/Tools/isac/BaseDefinitions/rule-set.sml	Thu Aug 04 12:48:37 2022 +0200
@@ -11,7 +11,7 @@
 
   val id: T -> string
   val rep: T -> {calc: Rule_Def.calc list, erls: T, errpats: Rule_Def.errpatID list, id: string,
-    preconds: term list, rew_ord: Rewrite_Ord.rew_ord, rules: Rule_Def.rule list, scr: Rule_Def.program, srls: T}
+    preconds: term list, rew_ord: Rewrite_Ord.T, rules: Rule_Def.rule list, scr: Rule_Def.program, srls: T}
   val to_string: T -> string
 
   val append_rules: string -> T -> Rule_Def.rule list -> T