diff -r ce09935439b3 -r 2e0b7ca391dc test/Tools/isac/Knowledge/eqsystem-1.sml
--- a/test/Tools/isac/Knowledge/eqsystem-1.sml	Wed Aug 03 18:17:27 2022 +0200
+++ b/test/Tools/isac/Knowledge/eqsystem-1.sml	Thu Aug 04 12:48:37 2022 +0200
@@ -221,7 +221,7 @@
 val e2__ = TermC.str2term "L * c + c_2 = q_0 * L \<up> 2 / 2";
 val bdvs = [(TermC.str2term"bdv_1",TermC.str2term"c"),
 	    (TermC.str2term"bdv_2",TermC.str2term"c_2")];
-val SOME (e2__,_) = rewrite_terms_ ctxt dummy_ord Rule_Set.Empty [e1__] e2__;
+val SOME (e2__,_) = rewrite_terms_ ctxt Rewrite_Ord.function_empty Rule_Set.Empty [e1__] e2__;
 if UnparseC.term e2__ = "L * c + 77 = q_0 * L \<up> 2 / 2" then ()
 else error "eqsystem.sml top_down_substitution,2x2] subst";