Rename exclude-detectors -> exclude (close 76)

crytic · Nov 14, 2018 · 82d4730 · 82d4730
1 parent 24d372b
commit 82d4730
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/slither/__main__.py b/slither/__main__.py
@@ -288,7 +288,7 @@ def parse_args(detector_classes, printer_classes):
                                default=False)
 
 
-    group_detector.add_argument('--exclude-detectors',
+    group_detector.add_argument('--exclude',
                                 help='Comma-separated list of detectors that should be excluded',
                                 action='store',
                                 dest='detectors_to_exclude',