From 89abb84f98a378ccfd0c4a2e87337d86061e6385 Mon Sep 17 00:00:00 2001
From: martijnv
Date: Fri, 16 Mar 2001 08:13:12 +0000
Subject: no message

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@334 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 main/compile.dcl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/main/compile.dcl b/main/compile.dcl
index 68495c5..2663e83 100644
--- a/main/compile.dcl
+++ b/main/compile.dcl
@@ -14,3 +14,5 @@ compile :: ![{#Char}] !*DclCache !*Files -> (!Bool,!*DclCache,!*Files)
  };
 
 empty_cache :: *DclCache
+
+openTclFile :: !String !*Files -> (!.File, !*Files)
\ No newline at end of file
-- 
cgit v1.2.3