From f7756a5a53a793adc27f61cbdcd9a614e3cc4bdc Mon Sep 17 00:00:00 2001
From: martinw
Date: Tue, 13 Mar 2001 11:34:56 +0000
Subject: enable compiler to create "Clean System Files" folder

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

(limited to 'main/Windows/CoclSystemDependent.dcl')

diff --git a/main/Windows/CoclSystemDependent.dcl b/main/Windows/CoclSystemDependent.dcl
index 42cf82e..f00a028 100644
--- a/main/Windows/CoclSystemDependent.dcl
+++ b/main/Windows/CoclSystemDependent.dcl
@@ -1,6 +1,11 @@
 // this is for Windows
 definition module CoclSystemDependent
 
+//1.3
+from StdString import String
+//3.1
+from StdFile import Files
+
 // RWS split
 // from deltaIOSystem import DeviceSystem
 // from deltaEventIO import InitialIO, IOState
@@ -12,3 +17,5 @@ DirectorySeparator
 
 SystemDependentDevices :: [a]
 SystemDependentInitialIO :: [a]
+
+ensureCleanSystemFilesExists :: !String !*Files -> (!Bool, !*Files)
-- 
cgit v1.2.3