Fix a mistake in new when patterns

7 years ago · 2d9fb52bec
parent 4dadf6b4d6
commit 2d9fb52bec
1 changed files with 1 additions and 2 deletions
--- 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 */                      { [] }