diff options
Diffstat (limited to '')
| -rw-r--r-- | project/src/wkmpt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/src/wkmpt.c b/project/src/wkmpt.c index 80d44c2..60ffafb 100644 --- a/project/src/wkmpt.c +++ b/project/src/wkmpt.c @@ -1682,7 +1682,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env ) DumpUsedOptions(&InfoUI_wkmpt,TRACE_FILE,11); #endif CloseTransformation(); - NormalizeOptions( verbose > 3 && !is_env ? 2 : 0 ); + NormalizeOptions( verbose > 3 && !is_env ); SetupKCL(); SetupKMP(); |