From e47c35ee154a755ca5a59dcfc00f65df6b3e1c03 Mon Sep 17 00:00:00 2001
From: Eric N <eric.ngo@consensys.net>
Date: Wed, 18 Sep 2019 14:16:36 -0700
Subject: [PATCH] Fixed mypy.

---
 mythril/laser/ethereum/instructions.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py
index 70467da3..39ea5c4c 100644
--- 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]: