From 413391b2b46c17c8fad156af3c76bc10d99a98ce Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 4 Feb 2014 11:37:08 -0800
Subject: [PATCH] chore(tests/lean/sig2): remove unnecessary parenthesis from
 test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 tests/lean/sig2.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/sig2.lean b/tests/lean/sig2.lean
index 604a2a09a..8a5da6021 100644
--- a/tests/lean/sig2.lean
+++ b/tests/lean/sig2.lean
@@ -2,7 +2,7 @@ check sig x : Nat, x > 0
 check tuple 10, 20
 check tuple 10, true
 check tuple true, 20
-check tuple (Bool # Nat) : true, 20
+check tuple Bool # Nat : true, 20
 check tuple true, true
 check tuple Bool ⨯ Bool : true, true
 variable a : Nat