From 6320e0f89da5fd1afc85e36bde7351d514b02e99 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 27 Apr 2012 07:35:59 -0400
Subject: Omit unnecessary parens around arrows in pretty-printing

---
 src/elab_print.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/elab_print.sml')

diff --git a/src/elab_print.sml b/src/elab_print.sml
index c25576ba..37669312 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -87,7 +87,7 @@ fun p_explicitness e =
 
 fun p_con' par env (c, _) =
     case c of
-        TFun (t1, t2) => parenIf true (box [p_con' true env t1,
+        TFun (t1, t2) => parenIf par (box [p_con' true env t1,
                                            space,
                                            string "->",
                                            space,
-- 
cgit v1.2.3