From ad805848b637fc666d0490ee1a02a1ca095a1669 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 4 Feb 2020 18:38:51 +0000 Subject: [PATCH] Fix type hints --- mythril/analysis/modules/transaction_order_dependence.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/analysis/modules/transaction_order_dependence.py b/mythril/analysis/modules/transaction_order_dependence.py index a4b22a42..8261eb34 100644 --- a/mythril/analysis/modules/transaction_order_dependence.py +++ b/mythril/analysis/modules/transaction_order_dependence.py @@ -9,7 +9,7 @@ from mythril.analysis.potential_issues import ( from mythril.analysis.swc_data import TX_ORDER_DEPENDENCE from mythril.laser.ethereum.transaction.symbolic import ACTORS from mythril.analysis.modules.base import DetectionModule -from mythril.laser.smt import Or +from mythril.laser.smt import Or, Bool from mythril.laser.ethereum.state.global_state import GlobalState from mythril.exceptions import UnsatError import logging @@ -103,7 +103,7 @@ class TransactionOrderDependence(DetectionModule): callers.append(balance_annotations[0].caller) address = state.get_current_instruction()["address"] - call_constraint = False + call_constraint = Bool(False) for caller in callers: call_constraint = Or(call_constraint, ACTORS.attacker == caller)