# HG changeset patch
# User haftmann
# Date 1356683847 -3600
# Node ID 1087c7f1d90619a5d1cf631608896b1e4d6bad86
# Parent  e91f6c6fb36e5924c5815e06e14ca22bcedec4ff
formally corrected

diff -r e91f6c6fb36e -r 1087c7f1d906 src/Tools/Code/code_printer.ML
--- 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));