Bump LASER version

requirements.txt

@@ -2,7 +2,7 @@ ethereum>=2.0.4
 ZODB>=5.3.0
 z3-solver>=4.5
 web3
-laser-ethereum==0.5.9
+laser-ethereum==0.5.10
 requests
 BTrees
 py-solc

setup.py

@@ -254,7 +254,7 @@ Credit
 setup(
     name='mythril',
 
-    version='0.13.19',
+    version='0.13.20',
 
     description='Security analysis tool for Ethereum smart contracts',
     long_description=long_description,
@@ -291,7 +291,7 @@ setup(
         'web3',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum==0.5.9',
+        'laser-ethereum==0.5.10',
         'requests',
         'BTrees',
         'py-solc'

solidity_examples/reentrancy.sol

@@ -12,8 +12,9 @@ contract Reentrancy {
 
   function withdraw(uint _amount) public {
     if(balances[msg.sender] >= _amount) {
-      msg.sender.call.value(_amount)();
-      balances[msg.sender] -= _amount;
+      if (msg.sender.call.value(_amount)()) {
+        balances[msg.sender] -= _amount;        
+      }
     }
   }