Fixed mypy.

5 years ago · e47c35ee15
parent 581c8d7b01
commit e47c35ee15
1 changed files with 3 additions and 3 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -1152,9 +1152,9 @@ class Instruction:
    @staticmethod
    def _code_copy_helper(
        code: str,
-        memory_offset: BitVec,
-        code_offset: BitVec,
-        size: BitVec,
+        memory_offset: Union[int, BitVec],
+        code_offset: Union[int, BitVec],
+        size: Union[int, BitVec],
        op: str,
        global_state: GlobalState,
    ) -> List[GlobalState]: