diff -r 20b4fc5914e6 -r c0522b2d3df6 src/Pure/Syntax/syntax_phases.ML
--- a/src/Pure/Syntax/syntax_phases.ML	Wed Oct 16 20:22:20 2024 +0200
+++ b/src/Pure/Syntax/syntax_phases.ML	Wed Oct 16 21:22:37 2024 +0200
@@ -769,7 +769,7 @@
     val show_types = Config.get ctxt show_types orelse show_sorts;
 
     val syn = Proof_Context.syntax_of ctxt;
-    val prtabs = Syntax.prtabs syn;
+    val prtabs = Syntax.print_mode_tabs syn;
     val trf = Syntax.print_ast_translation syn;
     val markup_extern = (markup_entity_cache ctxt, extern_cache ctxt);