From d2af3ef6e5dfbb262093027d0b7644cac944f8b7 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 3 Oct 2000 14:45:27 +0000
Subject: use DclCache type

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@245 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 main/coclmain.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main')

diff --git a/main/coclmain.icl b/main/coclmain.icl
index 811f76d..18cee66 100644
--- a/main/coclmain.icl
+++ b/main/coclmain.icl
@@ -54,7 +54,7 @@ coclMainWithVersionCheck  currentVersion latestDefVersion latestImpVersion testA
 	| not (fst (checkVersion (versionCompare expectedVersion observedVersion) stderr))
 		=	set_return_code (-1) world
 	# (success, world)
-		=	accFiles (compile commandArgs) world
+		=	accFiles (\files0 -> let (r,cache,files)=compile commandArgs empty_cache files0 in (r,files)) world
 	=	set_return_code (if success 0(-1)) world
 	where
 		commandArgs
-- 
cgit v1.2.3