From d643ca9e2cf7313d5274bf31e13ad37620d0aea2 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 21 Apr 2005 11:58:32 +0000
Subject: remove unused variable generated_arg_names

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1534 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/generics1.icl | 2 --
 1 file changed, 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] 
-- 
cgit v1.2.3