diff options
Diffstat (limited to 'frontend/checksupport.icl')
| -rw-r--r-- | frontend/checksupport.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl index 2864644..edb5dd2 100644 --- a/frontend/checksupport.icl +++ b/frontend/checksupport.icl @@ -362,8 +362,8 @@ where # ({ste_kind,ste_previous}, symbol_table) = readPtr id_info symbol_table = case ste_kind of - STE_Field field_id - # symbol_table = removeFieldFromSelectorDefinition field_id NoIndex decl_index symbol_table + STE_Field selector_id + # symbol_table = removeFieldFromSelectorDefinition selector_id NoIndex decl_index symbol_table | ste_previous.ste_def_level == scope -> symbol_table <:= (id_info, ste_previous.ste_previous) -> symbol_table <:= (id_info, ste_previous) |