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/wszst.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/project/src/wszst.c b/project/src/wszst.c
index a169ccf..419b2e8 100644
--- a/project/src/wszst.c
+++ b/project/src/wszst.c
@@ -5325,7 +5325,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env )
     DumpUsedOptions(&InfoUI_wszst,TRACE_FILE,11);
  #endif
     CloseTransformation();
-    NormalizeOptions( verbose > 3 && !is_env ? 3 : 0 );
+    NormalizeOptions( verbose > 3 && !is_env );
     SetupBMG(filter_bmg);
     SetupKCL();
     SetupKMP();
-- 
cgit v1.3.1