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/wpatt.c | |
| parent | 4f14fc871ab525488d821e132f80da99841d5646 (diff) | |
SZS v2.25a
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); |