From a702759618b8d6cde605762e6193826841219934 Mon Sep 17 00:00:00 2001
From: Nicolas PENELOUX <nicolas.peneloux@free.fr>
Date: Tue, 24 Oct 2023 16:36:12 +0200
Subject: [PATCH] fix tdefinition issue (the list wasn't optional)

---
 flap/src/hopix/hopixParser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flap/src/hopix/hopixParser.mly b/flap/src/hopix/hopixParser.mly
index 4396ea7..92772d3 100644
--- a/flap/src/hopix/hopixParser.mly
+++ b/flap/src/hopix/hopixParser.mly
@@ -102,7 +102,7 @@ tdefinition:
 
 list_constructor_and_their_ty:
 // TODO: C'est pas sensé être en option list_ty ici?
-| c=located(constructor) t=list_ty {
+| c=located(constructor) t=optionlist(list_ty) {
     (c, t)
   }