# HG changeset patch
# User wenzelm
# Date 1087716437 -7200
# Node ID 2736b098425335ec9bbaa65dd3fb1c41873f93e0
# Parent  b1ecb7859c9979938668fefbed0686a4a81a57ce
tuned pp;

diff -r b1ecb7859c99 -r 2736b0984253 src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Sun Jun 20 09:27:04 2004 +0200
+++ b/src/Pure/Syntax/printer.ML	Sun Jun 20 09:27:17 2004 +0200
@@ -46,8 +46,8 @@
 val show_no_free_types = ref false;
 val show_all_types = ref false;
 
-fun pp_show_brackets pp = Pretty.pp (setmp show_brackets true (Pretty.term pp))
-  (Pretty.typ pp) (Pretty.sort pp) (Pretty.classrel pp) (Pretty.arity pp);
+fun pp_show_brackets pp = Pretty.pp (setmp show_brackets true (Pretty.term pp),
+  Pretty.typ pp, Pretty.sort pp, Pretty.classrel pp, Pretty.arity pp);