aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/generics1.icl2
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]