diff options
Diffstat (limited to '')
| -rw-r--r-- | project/src/wpatt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/src/wpatt.c b/project/src/wpatt.c index 0f28c97..0cfb061 100644 --- a/project/src/wpatt.c +++ b/project/src/wpatt.c @@ -407,7 +407,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env ) DumpUsedOptions(&InfoUI_wpatt,TRACE_FILE,11); #endif //CloseTransformation(); - NormalizeOptions( verbose > 3 && !is_env ? 2 : 0 ); + NormalizeOptions( verbose > 3 && !is_env ); if (!err) WarnDepractedOptions(&InfoUI_wpatt); |