Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/syntax_phases.ML
changeset 81176 c0522b2d3df6
parent 81173 6002cb6bfb0a
child 81177 137ea3d464be 
--- 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);
isabelle