diff -r ce09935439b3 -r 2e0b7ca391dc test/Tools/isac/Knowledge/rational-2.sml
--- a/test/Tools/isac/Knowledge/rational-2.sml	Wed Aug 03 18:17:27 2022 +0200
+++ b/test/Tools/isac/Knowledge/rational-2.sml	Thu Aug 04 12:48:37 2022 +0200
@@ -854,7 +854,7 @@
 "HOL.True";
 
 val t = TermC.str2term "(6*x) \<up> 2";
-val SOME (t',_) = rewrite_ ctxt dummy_ord powers_erls false @{thm realpow_def_atom} t;
+val SOME (t',_) = rewrite_ ctxt Rewrite_Ord.function_empty powers_erls false @{thm realpow_def_atom} t;
 if UnparseC.term t' = "6 * x * (6 * x) \<up> (2 + - 1)" then ()
 else error "rational.sml powers_erls (6*x) \<up> 2";