From b543b3ba75157827dc3c224f60a66c7558794df9 Mon Sep 17 00:00:00 2001 From: Josselin Date: Fri, 21 Dec 2018 16:44:43 +0000 Subject: [PATCH] Minor --- slither/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/slither/__main__.py b/slither/__main__.py index 808bc5e32..3be86abf6 100644 --- a/slither/__main__.py +++ b/slither/__main__.py @@ -246,7 +246,7 @@ def main_impl(all_detector_classes, all_printer_classes): number_contracts = 0 results = [] if args.splitted and args.solc_ast: - results = process_files(filenames, args, detector_classes, printer_classes) + (results, number_contracts) = process_files(filenames, args, detector_classes, printer_classes) else: for filename in filenames: (results_tmp, number_contracts_tmp) = process(filename, args, detector_classes, printer_classes)