diff options
| author | ronny | 2001-10-01 16:30:01 +0000 |
|---|---|---|
| committer | ronny | 2001-10-01 16:30:01 +0000 |
| commit | 22886adb5dc622cb76184fa8ef97e2c2234652a8 (patch) | |
| tree | 79e7eb317c55feba7e2b0717fde500d3df6c6ea2 /backendC/CleanCompilerSources/instructions.h | |
| parent | moved 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.h | 4 |
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); |