From 376a6604f5199c0583bcc38fda0c1bb4fc0996bb Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Thu, 14 Mar 2019 22:29:03 +0530 Subject: [PATCH] Add type hints to start_execution function --- mythril/laser/ethereum/time_handler.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/time_handler.py b/mythril/laser/ethereum/time_handler.py index f9586fba..eb471d76 100644 --- a/mythril/laser/ethereum/time_handler.py +++ b/mythril/laser/ethereum/time_handler.py @@ -7,7 +7,7 @@ class TimeHandler(object, metaclass=Singleton): self._start_time = None self._execution_time = None - def start_execution(self, execution_time, transaction_count): + def start_execution(self, execution_time: int, transaction_count: int): self._start_time = int(time.time() * 1000) self._execution_time = execution_time * 1000 // transaction_count