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.)
---
 test-suite/output/PatternsInBinders.out | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/output/PatternsInBinders.out b/test-suite/output/PatternsInBinders.out
index 6a28475d7b..5f9ea9e3d6 100644
--- a/test-suite/output/PatternsInBinders.out
+++ b/test-suite/output/PatternsInBinders.out
@@ -4,12 +4,12 @@ fun '(x, y) => (y, x)
      : A * B -> B * A
 forall '(x, y), swap (x, y) = (y, x)
      : Prop
-proj_informative = fun 'exist _ x _ => x : A
+proj_informative = fun '(exist _ x _) => x : A
      : {x : A | P x} -> A
-foo = fun 'Bar n b tt p => if b then n + p else n - p
+foo = fun '(Bar n b tt p) => if b then n + p else n - p
      : Foo -> nat
 baz = 
-fun 'Bar n1 _ tt p1 => fun 'Bar _ _ tt _ => n1 + p1
+fun '(Bar n1 _ tt p1) => fun '(Bar _ _ tt _) => n1 + p1
      : Foo -> Foo -> nat
 λ '(x, y), (y, x)
      : A * B → B * A
-- 
cgit v1.2.3