--- a/src/Pure/Isar/overloading.ML Tue Sep 06 12:25:57 2022 +0200
+++ b/src/Pure/Isar/overloading.ML Tue Sep 06 12:40:36 2022 +0200
@@ -53,7 +53,7 @@
Improvable_Syntax.map (fn {syntax, secondary_pass} => {syntax = f syntax, secondary_pass = secondary_pass});
val mark_passed =
- Improvable_Syntax.map (fn {syntax, secondary_pass} => {syntax = syntax, secondary_pass = true});
+ Improvable_Syntax.map (fn {syntax, secondary_pass = _} => {syntax = syntax, secondary_pass = true});
fun improve_term_check ts ctxt =
let