From fb708b5b0fc4ee49c1c7d3ac38b08638c98b052d Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Tue, 27 Mar 2018 21:49:10 +0700
Subject: [PATCH] Bump LASER version

---
 requirements.txt | 2 +-
 setup.py         | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/requirements.txt b/requirements.txt
index 49c39a79..bf3dcf41 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,7 +1,7 @@
 ethereum>=2.0.4
 ZODB>=5.3.0
 z3-solver>=4.5
-laser-ethereum==0.5.18
+laser-ethereum==0.5.19
 requests
 BTrees
 py-solc
diff --git a/setup.py b/setup.py
index 65ee1335..74050113 100755
--- a/setup.py
+++ b/setup.py
@@ -254,7 +254,7 @@ Credit
 setup(
     name='mythril',
 
-    version='0.15.5',
+    version='0.15.6',
 
     description='Security analysis tool for Ethereum smart contracts',
     long_description=long_description,
@@ -290,7 +290,7 @@ setup(
         'ethereum>=2.0.4',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum==0.5.18',
+        'laser-ethereum==0.5.19',
         'requests',
         'BTrees',
         'py-solc'