diff -r ce09935439b3 -r 2e0b7ca391dc test/Tools/isac/Interpret/error-pattern.sml
--- a/test/Tools/isac/Interpret/error-pattern.sml	Wed Aug 03 18:17:27 2022 +0200
+++ b/test/Tools/isac/Interpret/error-pattern.sml	Thu Aug 04 12:48:37 2022 +0200
@@ -909,7 +909,7 @@
 val (res, inf) = (TermC.str2term "(2 + 3)/(3 + 4)", TermC.str2term "1 / 2");
 
 val (res', _, _, rewritten) = (*rewritten: the lhs of the pattern TermC.matches in res*)
-  rew_sub ctxt 1 [] e_rew_ord Rule_Set.empty false [] (HOLogic.Trueprop $ pat) res;
+  rew_sub ctxt 1 [] Rewrite_Ord.function_empty Rule_Set.empty false [] (HOLogic.Trueprop $ pat) res;
 if rewritten then NONE else SOME "e_errpatID";
 
 val norm_res = case rewrite_set_ ctxt false rls res' of
@@ -957,7 +957,7 @@
 val (res, inf) = (TermC.str2term "2 * x + d_d x (sin (x \<up> 4))", TermC.str2term "2 * x + cos (4 * x \<up> 3)");
 
 val (res', _, _, rewritten) = (*rewritten: the lhs of the pattern TermC.matches in res*)
-  rew_sub ctxt 1 subst e_rew_ord Rule_Set.empty false [] (HOLogic.Trueprop $ pat) res;
+  rew_sub ctxt 1 subst Rewrite_Ord.function_empty Rule_Set.empty false [] (HOLogic.Trueprop $ pat) res;
 if UnparseC.term res' = "2 * x + cos (d_d x (x \<up> 4))" andalso rewritten then ()
 else error "build fun check_for' ?bdv changed 2";
 
@@ -1119,7 +1119,7 @@
   val ((subs_opt, subst), (thm, form), errpatID, (fillpatID, pat, erpaID)) =
   (subst, (thm, form), errpatID, hd (*simulate beginning of "map"*) fillpats);
 val (form', _, _, rewritten) =
-      rew_sub ctxt 1 subst e_rew_ord Rule_Set.empty false [] (HOLogic.Trueprop $ pat) form;
+      rew_sub ctxt 1 subst Rewrite_Ord.function_empty Rule_Set.empty false [] (HOLogic.Trueprop $ pat) form;
 
 if UnparseC.term form' = "d_d x (x \<up> 2) + cos (x \<up> 4) * d_d x ?_dummy_1" then ()
 else error "find_fill_patterns changed 3";