From 22886adb5dc622cb76184fa8ef97e2c2234652a8 Mon Sep 17 00:00:00 2001
From: ronny
Date: Mon, 1 Oct 2001 16:30:01 +0000
Subject: pass file modification times from icl module and dcl modules to
 backend

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

(limited to 'frontend/frontend.dcl')

diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl
index 7751e3d..84fdf3b 100644
--- a/frontend/frontend.dcl
+++ b/frontend/frontend.dcl
@@ -31,5 +31,5 @@ import checksupport, transform, overloading
 	|	FrontEndPhaseConvertModules
 	|	FrontEndPhaseAll
 
-frontEndInterface :: !FrontEndOptions !Ident !SearchPaths !{#DclModule} !{#FunDef} !(Optional Bool) !*PredefinedSymbols !*HashTable !*Files !*File !*File !*File (!Optional !*File) !*Heaps
+frontEndInterface :: !FrontEndOptions !Ident !SearchPaths !{#DclModule} !{#FunDef} !(Optional Bool) !*PredefinedSymbols !*HashTable (ModTimeFunction *Files) !*Files !*File !*File !*File (!Optional !*File) !*Heaps
   	-> ( !Optional *FrontEndSyntaxTree,!*{# FunDef },!{#DclModule},!Int,!Int,!*PredefinedSymbols, !*HashTable, !*Files, !*File, !*File, !*File, !Optional !*File, !*Heaps) 
-- 
cgit v1.2.3