--- a/src/HOL/Library/adhoc_overloading.ML	Thu Oct 24 12:44:48 2024 +0200
+++ b/src/HOL/Library/adhoc_overloading.ML	Thu Oct 24 22:05:57 2024 +0200
@@ -173,7 +173,7 @@
       |> get_overloaded ctxt
       |> Option.map (Const o rpair (Term.type_of t));
   in
-    Pattern.rewrite_term_top (Proof_Context.theory_of ctxt) [] [proc]
+    Pattern.rewrite_term_yoyo (Proof_Context.theory_of ctxt) [] [proc]
   end;
 
 fun check ctxt =