1.1 --- a/src/Tools/isac/Interpret/solve-step.sml	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/src/Tools/isac/Interpret/solve-step.sml	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4      theory -> Tactic.T -> Pos.pos' -> Ctree.ctree -> Test_Out.T
     1.5  
     1.6    val get_ruleset: 'a -> Pos.pos -> Ctree.ctree ->
     1.7 -    string * ThyC.id * Rule_Def.rew_ord' * Rule_Def.rule_set * bool
     1.8 +    string * ThyC.id * Rewrite_Ord.id * Rule_Def.rule_set * bool
     1.9    val get_eval: string -> Pos.pos ->Ctree.ctree ->
    1.10      string * ThyC.id * (string * Rule_Def.eval_fn)
    1.11  \<^isac_test>\<open>