From 320fe5eb5dd068ac39c1e71a45068f4999d166a1 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 20 May 2020 13:36:55 +0200
Subject: [PATCH] Updated required Storm version

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 172ee03..388ee73 100755
--- a/setup.py
+++ b/setup.py
@@ -14,7 +14,7 @@ if sys.version_info[0] == 2:
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.5.1"
+storm_min_version = "1.5.2"
 
 # Get the long description from the README file
 with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f: