Use isinstance

7 years ago · e5a19c84df
parent f19dd5df91
commit e5a19c84df
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -388,7 +388,7 @@ class LaserEVM:

            elif op == 'BYTE':
                s0, s1 = state.stack.pop(), state.stack.pop()
-                if type(s1) is not ExprRef:
+                if not isinstance(s1, ExprRef):
                    s1 = BitVecVal(s1, 256)
                try:
                    n = helper.get_concrete_int(s0)