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/wctct.c | |
| parent | 4f14fc871ab525488d821e132f80da99841d5646 (diff) | |
SZS v2.25a
Diffstat (limited to 'project/src/wctct.c')
| -rw-r--r-- | project/src/wctct.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/src/wctct.c b/project/src/wctct.c index 815126f..b81066f 100644 --- a/project/src/wctct.c +++ b/project/src/wctct.c @@ -844,7 +844,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env ) #ifdef DEBUG DumpUsedOptions(&InfoUI_wctct,TRACE_FILE,11); #endif - NormalizeOptions( verbose > 3 && !is_env ? 2 : 0 ); + NormalizeOptions( verbose > 3 && !is_env ); SetupBMG(filter_bmg); UsePatchingListBMG(&opt_load_bmg); |