diff --git a/src/cbmc_viewer/configt.py b/src/cbmc_viewer/configt.py index b762d86..19308aa 100644 --- a/src/cbmc_viewer/configt.py +++ b/src/cbmc_viewer/configt.py @@ -21,7 +21,7 @@ def __init__(self, config_file=None): return if not Path(config_file).exists(): - logging.error("Config file does not exist: %s", config_file) + logging.info("Config file does not exist: %s", config_file) return config_data = parse.parse_json_file(config_file)