diff options
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/WarnLevel.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/WarnLevel.c b/src/main/WarnLevel.c index 2519910e..a1d6c283 100644 --- a/src/main/WarnLevel.c +++ b/src/main/WarnLevel.c @@ -1137,7 +1137,7 @@ int CCTKi_SetErrorLevel (int level) } -int CCTK_ExitAfterParamCheck(); +int CCTK_ExitAfterParamCheck (void); /*@@ @routine ExitIfParamCheckOnly @date Mon May 16 2012 @@ -1147,7 +1147,7 @@ int CCTK_ExitAfterParamCheck(); @enddesc @@*/ -void CCTK_ExitIfParamCheckOnly() +void CCTK_ExitIfParamCheckOnly (void) { if(CCTK_ExitAfterParamCheck()) { printf("Exit after param check requested using the --exit-after-param-check option.\n"); |