diff options
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/backendconvert.icl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index 31a89a5..2fe810d 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -1821,12 +1821,8 @@ where = beFunctionSymbol glob_object glob_module convertSymbol {symb_kind=SK_LocalMacroFunction glob_object} = beFunctionSymbol glob_object main_dcl_module_n - convertSymbol {symb_kind=SK_GeneratedCaseFunction _ index} - = beFunctionSymbol index 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 |