1.1 --- a/src/Tools/isac/BaseDefinitions/rule-set.sml	Wed Aug 24 12:37:07 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/rule-set.sml	Wed Aug 24 17:21:14 2022 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4    eqtype id
     1.5  
     1.6    val id: T -> string
     1.7 -  val rep: T -> {calc: Rule_Def.calc list, erls: T, errpats: Rule_Def.errpatID list, id: string,
     1.8 +  val rep: T -> {calc: Rule_Def.eval_ml_from_prog list, erls: T, errpats: Rule_Def.errpatID list, id: string,
     1.9      preconds: term list, rew_ord: Rewrite_Ord.T, rules: Rule_Def.rule list, scr: Rule_Def.program, srls: T}
    1.10    val to_string: T -> string
    1.11