diff options
Diffstat (limited to 'frontend/check.icl')
| -rw-r--r-- | frontend/check.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index 1315b06..0986851 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -3472,6 +3472,8 @@ where <=< adjustPredefSymbol PD_ConsCONS mod_index STE_Constructor <=< adjustPredefSymbol PD_TypeFIELD mod_index STE_Type <=< adjustPredefSymbol PD_ConsFIELD mod_index STE_Constructor + <=< adjustPredefSymbol PD_TypeREC mod_index STE_Type + <=< adjustPredefSymbol PD_ConsREC mod_index STE_Constructor <=< adjustPredefSymbol PD_GenericInfo mod_index STE_Type <=< adjustPredefSymbol PD_NoGenericInfo mod_index STE_Constructor <=< adjustPredefSymbol PD_GenericConsInfo mod_index STE_Constructor |