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