aboutsummaryrefslogtreecommitdiff
path: root/backend
diff options
context:
space:
mode:
Diffstat (limited to 'backend')
-rw-r--r--backend/backendconvert.icl2
1 files changed, 2 insertions, 0 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl
index a196f12..bc52e39 100644
--- a/backend/backendconvert.icl
+++ b/backend/backendconvert.icl
@@ -1828,6 +1828,8 @@ where
= beFunctionSymbol glob_object main_dcl_module_n
convertSymbol {symb_kind=SK_GeneratedFunction _ index}
= beFunctionSymbol index main_dcl_module_n
+ convertSymbol {symb_kind=SK_GeneratedCaseFunction _ index}
+ = beFunctionSymbol index main_dcl_module_n
convertSymbol {symb_kind=SK_Constructor {glob_module, glob_object}}
= beConstructorSymbol glob_module glob_object // ->> ("convertSymbol", (glob_module, glob_object))
convertSymbol symbol