diff options
Diffstat (limited to 'frontend')
-rw-r--r-- | frontend/generics1.icl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/frontend/generics1.icl b/frontend/generics1.icl index 8d460be..e72a01e 100644 --- a/frontend/generics1.icl +++ b/frontend/generics1.icl @@ -2073,8 +2073,6 @@ where = (fv, {heaps & hp_var_heap = hp_var_heap}) build_arg_vars {gen_ident, gen_vars, gen_type} td_args heaps - #! generated_arg_names - = [ gen_ident.id_name +++ atv_variable.tv_ident.id_name \\ {atv_variable} <- td_args] #! (generated_arg_exprs, generated_arg_vars, heaps) = buildVarExprs [ gen_ident.id_name +++ atv_variable.tv_ident.id_name \\ {atv_variable} <- td_args] |