From 2ac8827e9973476f91a12e5aab5d5e889a9d0034 Mon Sep 17 00:00:00 2001 From: Josselin Date: Fri, 28 Jun 2019 10:49:42 +0200 Subject: [PATCH] Minor --- utils/slither_format/formatters/external_function.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/utils/slither_format/formatters/external_function.py b/utils/slither_format/formatters/external_function.py index 28db15f24..ec5e160f8 100644 --- a/utils/slither_format/formatters/external_function.py +++ b/utils/slither_format/formatters/external_function.py @@ -37,6 +37,6 @@ def _patch(slither, result, in_file, modify_loc_start, modify_loc_end): # start at the keyword `public` modify_loc_start + m.span()[0] + 1, # end after the keyword `public` = start + len('public'') - modify_loc_start + m.span()[0] + 1 + 6, - " public", - " external") + modify_loc_start + m.span()[0] + 1 + len('public'), + "public", + "external")