Merge branch 'dev-ikos-version-copyright'. Close #249.

NASA-SW-VnV · Dec 15, 2023 · 141bd71 · 141bd71
2 parents 415edf6 + 79c7707
commit 141bd71
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/analyzer/python/ikos/args.py b/analyzer/python/ikos/args.py
@@ -126,7 +126,7 @@ def parse_argument(parser, name, choices, groups, default, value):
 class VersionAction(argparse.Action):
     def __call__(self, parser, namespace, values, option_string=None):
         print('ikos %s' % settings.VERSION)
-        print('Copyright (c) 2011-2019 United States Government as represented'
+        print('Copyright (c) 2011-2023 United States Government as represented'
               ' by the')
         print('Administrator of the National Aeronautics and Space '
               'Administration.')