From 99902ae56a417d98ee7baefc9a4c0e2e0e023ccc Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 17 Jun 2002 11:30:25 +0000
Subject: removed double alternative for TVI_TypeKind in <<<

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

diff --git a/frontend/syntax.icl b/frontend/syntax.icl
index a71dc0b..1f78c2c 100644
--- a/frontend/syntax.icl
+++ b/frontend/syntax.icl
@@ -2135,7 +2135,6 @@ where
 	(<<<) file (TVI_TypeCode	_)		= file <<< "TVI_TypeCode"
 	(<<<) file (TVI_CPSLocalTypeVar	_)	= file <<< "TVI_CPSLocalTypeVar"		
 	(<<<) file (TVI_Kinds _)		= file <<< "TVI_Kinds"
-	(<<<) file (TVI_TypeKind _)			= file <<< "TVI_TypeKind"
 	(<<<) file (TVI_PropClass _ _ _) 	= file <<< "TVI_PropClass"
 	(<<<) file (TVI_TypeKind kind_info_ptr) = file <<< "TVI_TypeKind " <<< (ptrToInt kind_info_ptr)
 	(<<<) file (TVI_Kind kind) 			= file <<< "TVI_Kind" <<< kind
-- 
cgit v1.2.3