From a4a5f2dc2c409fda5f0c41f5cb2a4dd03b89fcd2 Mon Sep 17 00:00:00 2001 From: Josselin Date: Mon, 9 Aug 2021 14:57:48 +0200 Subject: [PATCH] minor --- slither/tools/possible_paths/__main__.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/slither/tools/possible_paths/__main__.py b/slither/tools/possible_paths/__main__.py index ce255ac73..29cd05c46 100644 --- a/slither/tools/possible_paths/__main__.py +++ b/slither/tools/possible_paths/__main__.py @@ -1,8 +1,7 @@ -import argparse import sys import logging -from argparse import ArgumentParser +from argparse import ArgumentParser, Namespace from crytic_compile import cryticparser from slither import Slither @@ -17,12 +16,12 @@ logging.basicConfig() logging.getLogger("Slither").setLevel(logging.INFO) -def parse_args() -> argparse.Namespace: +def parse_args() -> Namespace: """ Parse the underlying arguments for the program. :return: Returns the arguments for the program. """ - parser: ArgumentParser = argparse.ArgumentParser( + parser: ArgumentParser = ArgumentParser( description="PossiblePaths", usage="possible_paths.py filename [contract.function targets]", )