Bump LASER version

amitkumarj441 · Mar 13, 2018 · c56d472 · c56d472
1 parent 8330571
commit c56d472
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/setup.py b/setup.py
@@ -254,7 +254,7 @@
 setup(
     name='mythril',
 
-    version='0.13.11',
+    version='0.13.12',
 
     description='Security analysis tool for Ethereum smart contracts',
     long_description=long_description,
@@ -291,7 +291,7 @@
         'web3',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum==0.5.5',
+        'laser-ethereum==0.5.6',
         'requests',
         'BTrees',
         'py-solc'