diff options
Diffstat (limited to 'src/include/CommandLine.h')
| -rw-r--r-- | src/include/CommandLine.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/include/CommandLine.h b/src/include/CommandLine.h index 0c679a89..e7ee50dc 100644 --- a/src/include/CommandLine.h +++ b/src/include/CommandLine.h @@ -14,12 +14,12 @@ extern "C" { #endif -void CCTKi_CommandLineTestThornCompiled(const char *optarg); -void CCTKi_CommandLineDescribeAllParameters(const char *optarg); -void CCTKi_CommandLineDescribeParameter(const char *optarg); -void CCTKi_CommandLineTestParameters(const char *optarg); -void CCTKi_CommandLineWarningLevel(const char *optarg); -void CCTKi_CommandLineErrorLevel(const char *optarg); +void CCTKi_CommandLineTestThornCompiled(const char *argument); +void CCTKi_CommandLineDescribeAllParameters(const char *argument); +void CCTKi_CommandLineDescribeParameter(const char *argument); +void CCTKi_CommandLineTestParameters(const char *argument); +void CCTKi_CommandLineWarningLevel(const char *argument); +void CCTKi_CommandLineErrorLevel(const char *argument); void CCTKi_CommandLineRedirectStdout(void); void CCTKi_CommandLineListThorns(void); void CCTKi_CommandLineVersion(void); |