diff -r ce09935439b3 -r 2e0b7ca391dc src/Tools/isac/Interpret/solve-step.sml
--- a/src/Tools/isac/Interpret/solve-step.sml	Wed Aug 03 18:17:27 2022 +0200
+++ b/src/Tools/isac/Interpret/solve-step.sml	Thu Aug 04 12:48:37 2022 +0200
@@ -17,7 +17,7 @@
     theory -> Tactic.T -> Pos.pos' -> Ctree.ctree -> Test_Out.T
 
   val get_ruleset: 'a -> Pos.pos -> Ctree.ctree ->
-    string * ThyC.id * Rule_Def.rew_ord' * Rule_Def.rule_set * bool
+    string * ThyC.id * Rewrite_Ord.id * Rule_Def.rule_set * bool
   val get_eval: string -> Pos.pos ->Ctree.ctree ->
     string * ThyC.id * (string * Rule_Def.eval_fn)
 \<^isac_test>\<open>