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.
formally corrected
authorhaftmann
Fri, 28 Dec 2012 09:37:27 +0100
changeset 50628 1087c7f1d906
parent 50627 e91f6c6fb36e
child 50629 264ece81df93
formally corrected
src/Tools/Code/code_printer.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/code_printer.ML	Thu Dec 27 21:01:08 2012 +0100
+++ b/src/Tools/Code/code_printer.ML	Fri Dec 28 09:37:27 2012 +0100
@@ -272,7 +272,7 @@
 
 fun gen_applify strict opn cls f fxy_ctxt p [] =
       if strict
-      then gen_brackify (fixity BR fxy_ctxt) [p, str "()"]
+      then gen_brackify (fixity BR fxy_ctxt) [p, str (opn ^ cls)]
       else p
   | gen_applify strict opn cls f fxy_ctxt p ps =
       gen_brackify (fixity BR fxy_ctxt) (p @@ enum "," opn cls (map f ps));
isabelle