diff options
Diffstat (limited to 'frontend/trans.icl')
| -rw-r--r-- | frontend/trans.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/trans.icl b/frontend/trans.icl index 599424b..2412c7b 100644 --- a/frontend/trans.icl +++ b/frontend/trans.icl @@ -86,7 +86,7 @@ where close_group :: !Int ![Int] !*{# Int} ![Int] !Int !Int !*{# FunDef} -> (![Int], !*{# Int}, ![Int], !*{# FunDef}) close_group fun_index [d:ds] marks group max_fun_nr group_number fun_defs # marks = { marks & [d] = max_fun_nr } - #! fd = fun_defs.[d] + # (fd,fun_defs) = fun_defs![d] # fun_defs = { fun_defs & [d] = { fd & fun_info.fi_group_index = group_number }} | d == fun_index = (ds, marks, [d : group], fun_defs) |