diff options
| author | Wiimm <wiimm@wiimm.de> | 2021-04-24 09:10:02 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2021-04-24 09:10:02 +0200 |
| commit | f33ad95520f6c6bb8f192c8bcd1c17cf40ba6b6b (patch) | |
| tree | 60c229f3f17eb965fda2bfa19021559123af65b4 /project/src/wkclt.c | |
| parent | 4f14fc871ab525488d821e132f80da99841d5646 (diff) | |
SZS v2.25a
Diffstat (limited to 'project/src/wkclt.c')
| -rw-r--r-- | project/src/wkclt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/src/wkclt.c b/project/src/wkclt.c index 10d7232..fd55727 100644 --- a/project/src/wkclt.c +++ b/project/src/wkclt.c @@ -1204,7 +1204,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env ) DumpUsedOptions(&InfoUI_wkclt,TRACE_FILE,11); #endif CloseTransformation(); - NormalizeOptions( verbose > 3 && !is_env ? 2 : 0 ); + NormalizeOptions( verbose > 3 && !is_env ); SetupKCL(); return !err ? ERR_OK : ProgInfo.max_error ? ProgInfo.max_error : ERR_SYNTAX; |