diff --git a/requirements.txt b/requirements.txt
index f9e5fdea..30bc0c8e 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -2,7 +2,7 @@ ethereum>=2.0.4
 ZODB>=5.3.0
 z3-solver>=4.5
 web3
-laser-ethereum==0.5.1
+laser-ethereum==0.5.2
 requests
 BTrees
 py-solc
diff --git a/setup.py b/setup.py
index 4dc11906..d34f7e3a 100755
--- a/setup.py
+++ b/setup.py
@@ -254,7 +254,7 @@ Credit
 setup(
     name='mythril',
 
-    version='0.13.1',
+    version='0.13.2',
 
     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.1',
+        'laser-ethereum==0.5.2',
         'requests',
         'BTrees',
         'py-solc'