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

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

diff --git a/project/src/wmdlt.c b/project/src/wmdlt.c
index bb705cc..77bc384 100644
--- a/project/src/wmdlt.c
+++ b/project/src/wmdlt.c
@@ -614,7 +614,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env )
     DumpUsedOptions(&InfoUI_wmdlt,TRACE_FILE,11);
  #endif
     CloseTransformation();
-    NormalizeOptions( verbose > 3 && !is_env ? 2 : 0 );
+    NormalizeOptions( verbose > 3 && !is_env );
     SetupMDL();
 
     return !err ? ERR_OK : ProgInfo.max_error ? ProgInfo.max_error : ERR_SYNTAX;
-- 
cgit v1.3.1