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 cf1496c50..1fac8daef 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_ENGINES_REQUESTED, PARAM_GOT_EXTRA_PARAMETER, PARAM_BAD_NUMERIC, PARAM_NEGATIVE_NUMERIC, |