From 2d9fb52bec8a93845862957216c26a36a5c24b8a Mon Sep 17 00:00:00 2001
From: Timothy Bourke <tim@tbrk.org>
Date: Tue, 14 Feb 2017 21:10:32 +0100
Subject: [PATCH] Fix a mistake in new when patterns

---
 compiler/heptagon/parsing/hept_parser.mly | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/compiler/heptagon/parsing/hept_parser.mly b/compiler/heptagon/parsing/hept_parser.mly
index 2d85423..84437ed 100644
--- a/compiler/heptagon/parsing/hept_parser.mly
+++ b/compiler/heptagon/parsing/hept_parser.mly
@@ -371,9 +371,8 @@ on_ck:
 
 when_ck:
   | x=IDENT                                                { Cwhen(Q Initial.ptrue,x) }
+  | NOT x=IDENT                                            { Cwhen(Q Initial.pfalse,x) }
   | c=constructor_or_bool LPAREN x=IDENT RPAREN            { Cwhen(c,x) }
-  | b=ck x=IDENT                                           { Cwhen(Q Initial.ptrue,x) }
-  | b=ck NOT x=IDENT                                       { Cwhen(Q Initial.pfalse,x) }
 
 equs:
   | /* empty */                      { [] }