From cc69e3e10a79458a6f821dfb6cdf11be5f1efcf6 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 15 Dec 2003 15:41:37 +0000
Subject: remove VoidTypeToken

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

(limited to 'frontend')

diff --git a/frontend/scanner.dcl b/frontend/scanner.dcl
index fcd8edc..1fafeb9 100644
--- a/frontend/scanner.dcl
+++ b/frontend/scanner.dcl
@@ -77,7 +77,6 @@ instance <<< FilePosition
 	|	StringTypeToken			//		String
 	|	FileTypeToken			//		File
 	|	WorldTypeToken			//		World
-	|	VoidTypeToken			//		Void
 	|	ClassToken				//		class
 	|	InstanceToken			//		instance
 	|	OtherwiseToken			//		otherwise
diff --git a/frontend/scanner.icl b/frontend/scanner.icl
index e310836..33f9081 100644
--- a/frontend/scanner.icl
+++ b/frontend/scanner.icl
@@ -163,7 +163,6 @@ ScanOptionNoNewOffsideForSeqLetBit:==4;
 	|	StringTypeToken			//		String
 	|	FileTypeToken			//		File
 	|	WorldTypeToken			//		World
-	|	VoidTypeToken			//		Void
 	|	ClassToken				//		class
 	|	InstanceToken			//		instance
 	|	OtherwiseToken			//		otherwise
@@ -1396,7 +1395,6 @@ where
 	toString StringTypeToken			= "String"
 	toString FileTypeToken				= "File"
 	toString WorldTypeToken				= "World"
-	toString VoidTypeToken				= "Void"
 	toString ClassToken					= "class"
 	toString InstanceToken				= "instance"
 	toString OtherwiseToken				= "otherwise"
-- 
cgit v1.2.3