diff options
Diffstat (limited to 'backendC/backend.link')
-rw-r--r-- | backendC/backend.link | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backendC/backend.link b/backendC/backend.link index 865b07e..d101391 100644 --- a/backendC/backend.link +++ b/backendC/backend.link @@ -86,6 +86,7 @@ /EXPORT: BENoTypes /EXPORT: BEFlatType /EXPORT: BEAlgebraicType +/EXPORT: BEExtendableAlgebraicType /EXPORT: BERecordType /EXPORT: BEAbsType /EXPORT: BEConstructors |