From 045061c63d3237f5d89663221eaabc5de907cd98 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 7 Feb 2011 12:12:48 +0000
Subject: remove unused types in dynamic patterns in .tcl file

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1833 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/convertDynamics.icl | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'frontend/convertDynamics.icl')

diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index c4fbd9b..0db128d 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -65,14 +65,6 @@ write_tcl_file main_dcl_module_n dcl_mods=:{[main_dcl_module_n] = main_dcl_modul
 	#! (tcl_file,write_type_info_state)
 		= write_type_info directly_imported_dcl_modules tcl_file write_type_info_state
 
-	// dynamic pattern matches
-	#! (tcl_file,write_type_info_state)
-		= write_type_info no_type_symb_ident tcl_file write_type_info_state
-		with
-			no_type_symb_ident :: [TypeSymbIdent]
-			no_type_symb_ident
-				=	[]
-
 	#! (tcl_file,write_type_info_state)
 		= write_type_info (help_20_compiler { dcl_name.id_name\\ {dcl_name} <-: dcl_mods }) tcl_file write_type_info_state
 			with 
-- 
cgit v1.2.3