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) }