Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 19 Sep 2024 12:10:17 +0200
changeset 80900 2c75875ccf94
parent 80899 51c338103975
child 80901 f4d519d088af
tuned;
src/Pure/Syntax/printer.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/printer.ML	Thu Sep 19 12:08:56 2024 +0200
+++ b/src/Pure/Syntax/printer.ML	Thu Sep 19 12:10:17 2024 +0200
@@ -145,12 +145,12 @@
               apfst (cons (arg s_p)) (xsyms_to_syms xsyms)
           | xsyms_to_syms (Syntax_Ext.Space s :: xsyms) =
               apfst (cons (String (false, s))) (xsyms_to_syms xsyms)
-          | xsyms_to_syms (Syntax_Ext.Bg info :: xsyms) =
+          | xsyms_to_syms (Syntax_Ext.Bg block :: xsyms) =
               let
                 val (bsyms, xsyms') = xsyms_to_syms xsyms;
                 val (syms, xsyms'') = xsyms_to_syms xsyms';
               in
-                (Block (info, bsyms) :: syms, xsyms'')
+                (Block (block, bsyms) :: syms, xsyms'')
               end
           | xsyms_to_syms (Syntax_Ext.Brk i :: xsyms) =
               apfst (cons (Break i)) (xsyms_to_syms xsyms)
isabelle