diff -r ce09935439b3 -r 2e0b7ca391dc src/Tools/isac/MathEngBasic/method.sml
--- a/src/Tools/isac/MathEngBasic/method.sml	Wed Aug 03 18:17:27 2022 +0200
+++ b/src/Tools/isac/MathEngBasic/method.sml	Thu Aug 04 12:48:37 2022 +0200
@@ -42,7 +42,7 @@
 (* a subset of MethodC.T record's fields *)
 type input = 
   {calc: Rule_Def.calc list, crls: Rule_Set.T, errpats: Error_Pattern_Def.T list, nrls: Rule_Set.T,
-    prls: Rule_Set.T, rew_ord': Rewrite_Ord.rew_ord', rls': Rule_Set.T, srls: Rule_Set.T}
+    prls: Rule_Set.T, rew_ord': Rewrite_Ord.id, rls': Rule_Set.T, srls: Rule_Set.T}
 
 fun prep_input thy guh (mathauthors: string list) (init: References_Def.id)
 	    (metID, ppc,