diff options
Diffstat (limited to 'src/ioutil_CheckpointRecovery.h')
| -rw-r--r-- | src/ioutil_CheckpointRecovery.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ioutil_CheckpointRecovery.h b/src/ioutil_CheckpointRecovery.h index dd5aa36..0cbd949 100644 --- a/src/ioutil_CheckpointRecovery.h +++ b/src/ioutil_CheckpointRecovery.h @@ -66,8 +66,8 @@ int IOUtil_RestartFromRecovery (const cGH *GH); /* print the checkpoint/recovery timings to stdout */ void IOUtil_PrintTimings (const char *description, int ntimers, - int timers[/* ntimers */], - const char *timer_descriptions[/* ntimers */]); + const int *timers, + const char *const *const timer_descriptions); #ifdef __cplusplus } |