From ca487a2d1583b8e11fe532b76d08aa695dff19d5 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 26 Sep 2014 10:24:19 +0000
Subject: remove unused constructor TQV of :: type_io.icl

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

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index fd7ce17..139f869 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1077,8 +1077,6 @@ cNotVarNumber :== -1
 			|	TFAC ![ATypeVar] !Type ![TypeContext]	// Universally quantified function argument type with contexts
 
 			|	TempV !TempVarId				/* Auxiliary, used during type checking */
-			
-			|	TQV	TypeVar
 			|	TempQV !TempVarId				/* Auxiliary, used during type checking */
 			|	TempQDV !TempVarId				// Auxiliary, used during type checking, existential type variable in dynamic pattern
 
-- 
cgit v1.2.3