From 733439508743c2cbec70334b973470c8b6cc2a3d Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Wed, 28 Nov 2018 14:42:19 +0100
Subject: [PATCH] Handle ExprRef input

---
 mythril/laser/ethereum/state/calldata.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mythril/laser/ethereum/state/calldata.py b/mythril/laser/ethereum/state/calldata.py
index 1fc93e39..a14af8d5 100644
--- a/mythril/laser/ethereum/state/calldata.py
+++ b/mythril/laser/ethereum/state/calldata.py
@@ -34,7 +34,7 @@ class BaseCalldata:
         return self[offset: offset + 32]
 
     def __getitem__(self, item: Union[int, slice]) -> Any:
-        if isinstance(item, int):
+        if isinstance(item, int) or isinstance(item, ExprRef):
             return self._load(item)
 
         if isinstance(item, slice):