From 74cde08253757f2c6ed0ca3054b2e0fc17a18311 Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 19 Jun 2003 13:34:16 +0000
Subject: removed unused field class_arg_kinds

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

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index c9b468b..d82da23 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -268,7 +268,6 @@ cNameLocationDependent :== True
 	,	class_dictionary	:: !DefinedSymbol
 	,	class_pos			:: !Position
 	,	class_cons_vars		:: !BITVECT
-	,	class_arg_kinds		:: ![TypeKind] // filled in in checkKindCorrectness phase
 	}
 
 ::	ClassDefInfos :== {# .{! [TypeKind]}}
-- 
cgit v1.2.3