diff -r ce09935439b3 -r 2e0b7ca391dc src/Tools/isac/MathEngBasic/state-steps.sml
--- a/src/Tools/isac/MathEngBasic/state-steps.sml	Wed Aug 03 18:17:27 2022 +0200
+++ b/src/Tools/isac/MathEngBasic/state-steps.sml	Thu Aug 04 12:48:37 2022 +0200
@@ -12,7 +12,7 @@
   type T
   val to_string : T -> string
   val result : single -> (term * term list)
-  val make_single: Rewrite_Ord.rew_ord' * 'a -> Rule_Set.T -> term * Rule.rule * (term * term list) ->
+  val make_single: Rewrite_Ord.id * 'a -> Rule_Set.T -> term * Rule.rule * (term * term list) ->
     single
   val insert_pos : Pos.pos -> T -> T
 end