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

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

diff --git a/project/src/wkclt.c b/project/src/wkclt.c
index 10d7232..fd55727 100644
--- a/project/src/wkclt.c
+++ b/project/src/wkclt.c
@@ -1204,7 +1204,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env )
     DumpUsedOptions(&InfoUI_wkclt,TRACE_FILE,11);
  #endif
     CloseTransformation();
-    NormalizeOptions( verbose > 3 && !is_env ? 2 : 0 );
+    NormalizeOptions( verbose > 3 && !is_env );
     SetupKCL();
 
     return !err ? ERR_OK : ProgInfo.max_error ? ProgInfo.max_error : ERR_SYNTAX;
-- 
cgit v1.3.1