From f33ad95520f6c6bb8f192c8bcd1c17cf40ba6b6b Mon Sep 17 00:00:00 2001
From: Wiimm <wiimm@wiimm.de>
Date: Sat, 24 Apr 2021 09:10:02 +0200
Subject: SZS v2.25a

---
 project/src/wbmgt.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'project/src/wbmgt.c')

diff --git a/project/src/wbmgt.c b/project/src/wbmgt.c
index c5726b6..8c9ac2e 100644
--- a/project/src/wbmgt.c
+++ b/project/src/wbmgt.c
@@ -842,7 +842,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env )
  #ifdef DEBUG
     DumpUsedOptions(&InfoUI_wbmgt,TRACE_FILE,11);
  #endif
-    NormalizeOptions( verbose > 3 && !is_env ? 2 : 0 );
+    NormalizeOptions( verbose > 3 && !is_env );
     SetupBMG(filter_bmg);
 
     return !err ? ERR_OK : ProgInfo.max_error ? ProgInfo.max_error : ERR_SYNTAX;
-- 
cgit v1.3.1