From 84427cfb86240ef1eb3a11af537fbeea7c4367c6 Mon Sep 17 00:00:00 2001
From: Jaime <22358726+Jaime-Iglesias@users.noreply.github.com>
Date: Wed, 9 Feb 2022 14:33:50 +0000
Subject: [PATCH] fix issue-923, error when no config file found

---
 slither/utils/command_line.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/slither/utils/command_line.py b/slither/utils/command_line.py
index 39ab82820..b0a956748 100644
--- a/slither/utils/command_line.py
+++ b/slither/utils/command_line.py
@@ -70,6 +70,11 @@ def read_config_file(args):
             logger.error(
                 red("Impossible to read {}, please check the file {}".format(args.config_file, e))
             )
+    else:
+        logger.error(
+            red("File {} is not a file or does not exist".format(args.config_file)),
+            yellow("Falling back to the default settings...")
+        )
 
 
 def output_to_markdown(detector_classes, printer_classes, filter_wiki):