From a273170a3112c6ad93c6a60e13948ede7de1206f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Thu, 4 Nov 2010 18:10:20 +0100
Subject: [PATCH] Allow "type t = A" instead of forcing "A | ..."

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

diff --git a/compiler/heptagon/parsing/hept_parser.mly b/compiler/heptagon/parsing/hept_parser.mly
index 3d9ada7..193f147 100644
--- a/compiler/heptagon/parsing/hept_parser.mly
+++ b/compiler/heptagon/parsing/hept_parser.mly
@@ -141,7 +141,7 @@ type_dec:
 ;
 
 enum_ty_desc:
-  | Constructor BAR Constructor   {[$1;$3]}
+  | Constructor                   {[$1]}
   | BOOL BAR BOOL                 {[(if $1 then "true" else "false");
                                     (if $3 then "true" else "false")]}
   | Constructor BAR enum_ty_desc  {$1 :: $3}