From 3d75602a0df1324a7fe741498e370a4f2b767c2f Mon Sep 17 00:00:00 2001
From: Timothy Bourke <tim@tbrk.org>
Date: Sat, 21 Jan 2017 18:12:06 +0100
Subject: [PATCH] Accept "e when not x" for "e whenot x"

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

diff --git a/compiler/heptagon/parsing/hept_parser.mly b/compiler/heptagon/parsing/hept_parser.mly
index b4433f5..68044ac 100644
--- a/compiler/heptagon/parsing/hept_parser.mly
+++ b/compiler/heptagon/parsing/hept_parser.mly
@@ -550,6 +550,8 @@ _exp:
       { Ewhen (e, Q Initial.ptrue, ce) }
   | e=exp WHENOT ce=IDENT
       { Ewhen (e, Q Initial.pfalse, ce) }
+  | e=exp WHEN NOT ce=IDENT
+      { Ewhen (e, Q Initial.pfalse, ce) }
   | MERGE n=IDENT hs=merge_handlers
       { Emerge (n, hs) }
   | exp INFIX1 exp