Update main.py

ftsrg · Nov 3, 2024 · bcca522 · bcca522
1 parent 20d0949
commit bcca522
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/main.py b/main.py
@@ -190,7 +190,7 @@ def parse_arguments():
     )
 
     parser.add_argument(
-        "--version", action="version", version="ConcurrentWitness2Test 1.0"
+        "--version", action="version", version="1.0"
     )
     parser.add_argument(
         "input_file", metavar="<input.c>", type=str, help="Input file (.c)"