diff options
Diffstat (limited to 'src/tool_getparam.h')
| -rw-r--r-- | src/tool_getparam.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tool_getparam.h b/src/tool_getparam.h index ac55d0b18..fee790b13 100644 --- a/src/tool_getparam.h +++ b/src/tool_getparam.h @@ -30,6 +30,7 @@ typedef enum { PARAM_REQUIRES_PARAMETER, PARAM_BAD_USE, PARAM_HELP_REQUESTED, + PARAM_MANUAL_REQUESTED, PARAM_VERSION_INFO_REQUESTED, PARAM_ENGINES_REQUESTED, PARAM_GOT_EXTRA_PARAMETER, |