1.1 --- a/src/Tools/isac/BaseDefinitions/rule-set.sml	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/rule-set.sml	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5    val id: T -> string
     1.6    val rep: T -> {calc: Rule_Def.calc list, erls: T, errpats: Rule_Def.errpatID list, id: string,
     1.7 -    preconds: term list, rew_ord: Rewrite_Ord.rew_ord, rules: Rule_Def.rule list, scr: Rule_Def.program, srls: T}
     1.8 +    preconds: term list, rew_ord: Rewrite_Ord.T, rules: Rule_Def.rule list, scr: Rule_Def.program, srls: T}
     1.9    val to_string: T -> string
    1.10  
    1.11    val append_rules: string -> T -> Rule_Def.rule list -> T