From e9ac8566458a0b28930584bf905ba1c5854da6dd Mon Sep 17 00:00:00 2001
From: AlexShefY <alex.shefer.31@gmail.com>
Date: Sun, 22 Sep 2024 11:09:12 +0200
Subject: [PATCH] fix args

---
 verified_cogen/args.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/verified_cogen/args.py b/verified_cogen/args.py
index f692683..22a604c 100644
--- a/verified_cogen/args.py
+++ b/verified_cogen/args.py
@@ -23,10 +23,10 @@ class ProgramArgs:
     output_style: str
     filter_by_ext: Optional[str]
     log_tries: Optional[str]
+    output_logging: bool
 
     @no_type_check
     def __init__(self, args):
-        self.output_logging = args.output_logging
         self.input = args.input
         self.dir = args.dir
         self.runs = args.runs
@@ -44,6 +44,7 @@ def __init__(self, args):
         self.output_style = args.output_style
         self.filter_by_ext = args.filter_by_ext
         self.log_tries = args.log_tries
+        self.output_logging = args.output_logging
 
 
 def get_default_parser():