From b3e7ef09210267e6d34bc1ac377e66c7fec7e739 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 18 Jul 2016 23:40:43 +0200
Subject: Fixing missing parentheses in printing of patterns in binders.

(In agreement with Daniel.)
---
 printing/ppconstr.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'printing')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 252b0967dc..be92372aca 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -549,7 +549,7 @@ end) = struct
             not (Id.Set.mem n (Topconstr.free_vars_of_constr_expr a)) ->
         return (
           hov 0 (
-            keyword "forall" ++ spc () ++ str "'" ++ pr_patt ltop p ++
+            keyword "forall" ++ spc () ++ str "'" ++ pr_patt lsimplepatt p ++
             str "," ++ pr spc ltop a),
           llambda
         )
@@ -573,7 +573,7 @@ end) = struct
             not (Id.Set.mem n (Topconstr.free_vars_of_constr_expr a)) ->
         return (
           hov 0 (
-            keyword "fun" ++ spc () ++ str "'" ++ pr_patt ltop p ++
+            keyword "fun" ++ spc () ++ str "'" ++ pr_patt lsimplepatt p ++
             pr_fun_sep ++ pr spc ltop a),
           llambda
         )
-- 
cgit v1.2.3