From fdf91fe56dee242807a8827a3a4a41dbe0e4ca16 Mon Sep 17 00:00:00 2001
From: ronny
Date: Fri, 2 Nov 2001 06:51:15 +0000
Subject: removed useless version check for coclmain (coclmain is not in a
 separate libarary)

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@880 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 main/coclmain.dcl | 20 +-------------------
 1 file changed, 1 insertion(+), 19 deletions(-)

(limited to 'main/coclmain.dcl')

diff --git a/main/coclmain.dcl b/main/coclmain.dcl
index f0a9254..fafabb6 100644
--- a/main/coclmain.dcl
+++ b/main/coclmain.dcl
@@ -16,25 +16,7 @@ definition module coclmain
 	uses
 		StdEnv
 		compiler
-
-	This library is compiled with profiling code. This means that profiling
-	should also be enabled in projects that use the coclmain library.
-
-	Note:	The interface from coclmain to the compiler is not version checked.
-			It's safest to build and use a new coclmain library whenever the
-			type of the compiler's syntax tree changes.
 */
 
-// coclMain :: ![{#Char}] !*World -> *World
+coclMain :: ![{#Char}] !*World -> *World
 // testArgs world
-coclMain :== coclMainWithVersionCheck CoclMainVersionCurrent CoclMainVersionLatestDef CoclMainVersionLatestImp
-
-CoclMainVersionCurrent
-	:==	0x02000205
-CoclMainVersionLatestDef
-	:==	0x02000205
-CoclMainVersionLatestImp
-	:==	0x02000205
-
-coclMainWithVersionCheck :: !Int !Int !Int ![{#Char}] !*World -> *World
-// currentVersion latestDefVersion latestImpVersion testArgs world
-- 
cgit v1.2.3