aboutsummaryrefslogtreecommitdiff
path: root/backendC/CleanCompilerSources/instructions.h
diff options
context:
space:
mode:
authorronny2001-10-01 16:30:01 +0000
committerronny2001-10-01 16:30:01 +0000
commit22886adb5dc622cb76184fa8ef97e2c2234652a8 (patch)
tree79e7eb317c55feba7e2b0717fde500d3df6c6ea2 /backendC/CleanCompilerSources/instructions.h
parentmoved system independent code to new module "filesystem" (diff)
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
Diffstat (limited to 'backendC/CleanCompilerSources/instructions.h')
-rw-r--r--backendC/CleanCompilerSources/instructions.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/backendC/CleanCompilerSources/instructions.h b/backendC/CleanCompilerSources/instructions.h
index c140d80..532aee7 100644
--- a/backendC/CleanCompilerSources/instructions.h
+++ b/backendC/CleanCompilerSources/instructions.h
@@ -173,8 +173,8 @@ void GenStrictConstructorDescriptor (SymbDef sdef,StateP constructor_arg_state_p
void GenArrayFunctionDescriptor (SymbDef arr_fun_def, Label desclab, int arity);
#if defined(WRITE_DCL_MODIFICATION_TIME) && WRITE_DCL_MODIFICATION_TIME
-void GenModuleDescriptor (FileTime file_time);
-void GenDepend (char *modname,FileTime file_time);
+void GenModuleDescriptor (ModuleFileTime file_time);
+void GenDepend (char *modname,ModuleFileTime file_time);
#else
void GenModuleDescriptor (void);
void GenDepend (char *modname);