Update version

Author: nicolasAmat

smpt/smpt.py

@@ -56,14 +56,12 @@ def main():
     # Start time
     start_time = time()
 
-    print("# Hello")
-
     # Arguments parser
     parser = ArgumentParser(description='SMPT: Satisfiability Modulo Petri Net')
 
     parser.add_argument('--version',
                         action='version',
-                        version='%(prog)s 3.0.0',
+                        version='%(prog)s 5.0',
                         help="show the version number and exit")
 
     parser.add_argument('-v', '--verbose',
@@ -236,6 +234,8 @@ def main():
 
     results = parser.parse_args()
 
+    print("# Hello")
+
     # Set the verbose level
     if results.verbose:
         basicConfig(format="%(message)s", level=DEBUG)