diff options
Diffstat (limited to 'frontend/generics.icl')
| -rw-r--r-- | frontend/generics.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/generics.icl b/frontend/generics.icl index e489f09..9c3933c 100644 --- a/frontend/generics.icl +++ b/frontend/generics.icl @@ -3287,7 +3287,7 @@ where , cos_symbol_heap = hp_expression_heap , cos_alias_dummy = {pds_ident=makeIdent "dummy", pds_module=NoIndex,pds_def=NoIndex} // MV ... - , cos_removed_dynamic_expr = abort "error, please report to Martijn or Artem" + , cos_used_dynamics = abort "error, please report to Martijn or Artem" // ... MV } #! (body_expr, fun_arg_vars, local_vars, {cos_symbol_heap, cos_var_heap}) = |