From 7af9e7622ff594ca109959e807d4b45afd404d53 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Tue, 24 Oct 2023 14:57:16 +0200 Subject: [PATCH] lol --- 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 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 }