diff -r 40f5ddeda2b4 -r 951c371c1cd9 src/Pure/Build/export_theory.ML
--- a/src/Pure/Build/export_theory.ML	Tue Apr 02 17:20:09 2024 +0200
+++ b/src/Pure/Build/export_theory.ML	Tue Apr 02 18:29:14 2024 +0200
@@ -38,7 +38,7 @@
 
 (* approximative syntax *)
 
-val get_syntax = Syntax.get_approx o Proof_Context.syn_of;
+val get_syntax = Syntax.get_approx o Proof_Context.syntax_of;
 fun get_syntax_type ctxt = get_syntax ctxt o Lexicon.mark_type;
 fun get_syntax_const ctxt = get_syntax ctxt o Lexicon.mark_const;
 fun get_syntax_fixed ctxt = get_syntax ctxt o Lexicon.mark_fixed;