This commit is contained in:
Mylloon 2023-10-24 14:57:16 +02:00
parent 46e5c9e270
commit 7af9e7622f
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -451,7 +451,7 @@ constructor:
type_constructor:
| tcon=CID {
| tcon=ID {
TCon tcon
}