# HG changeset patch
# User nipkow
# Date 775850937 -7200
# Node ID 97eb677142d943f37b94b6b131ea78a6b4917d7a
# Parent  a4f09493d929ef919e4896bbb9c823382e3a8956
minimized () in forced printing of barckets (show_brackets)

diff -r a4f09493d929 -r 97eb677142d9 src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Tue Aug 02 09:07:10 1994 +0200
+++ b/src/Pure/Syntax/printer.ML	Tue Aug 02 20:08:57 1994 +0200
@@ -228,7 +228,7 @@
       | synT (_ :: _, []) = sys_error "synT"
 
     and parT (pr, args, p, p': int) =
-      if p > p' orelse !show_brackets then
+      if p > p' orelse (!show_brackets andalso p' <> max_pri) then
         #1 (synT ([Block (1, String "(" :: pr @ [String ")"])], args))
       else #1 (synT (pr, args))