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

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

diff --git a/project/src/wkmpt.c b/project/src/wkmpt.c
index 80d44c2..60ffafb 100644
--- a/project/src/wkmpt.c
+++ b/project/src/wkmpt.c
@@ -1682,7 +1682,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env )
     DumpUsedOptions(&InfoUI_wkmpt,TRACE_FILE,11);
  #endif
     CloseTransformation();
-    NormalizeOptions( verbose > 3 && !is_env ? 2 : 0 );
+    NormalizeOptions( verbose > 3 && !is_env );
     SetupKCL();
     SetupKMP();
 
-- 
cgit v1.3.1