diff --git a/flap/src/hopix/hopixParser.mly b/flap/src/hopix/hopixParser.mly index 414a847..b3e64ee 100644 --- a/flap/src/hopix/hopixParser.mly +++ b/flap/src/hopix/hopixParser.mly @@ -451,7 +451,7 @@ constructor: type_constructor: -| tcon=CID { +| tcon=ID { TCon tcon }