From 1ac10663252a132dfc191c957ab4fae27af58e26 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 18 Apr 2018 20:39:02 +0200
Subject: [PATCH] Increased required Storm version

---
 CHANGELOG.md | 3 +++
 setup.py     | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8479b19..41f4233 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,9 @@ Changelog
 Version 1.2.x
 -------------
 
+### Version 1.2.x
+Requires storm version >= 1.2.2 and pycarl version >= 2.0.2
+
 ### Version 1.2.0
 Requires storm version >= 1.2.0 and pycarl version >= 2.0.2
 - Adaptions to changes in Storm
diff --git a/setup.py b/setup.py
index 6aba669..a8ecc9a 100755
--- a/setup.py
+++ b/setup.py
@@ -15,7 +15,7 @@ if sys.version_info[0] == 2:
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.2.0"
+storm_min_version = "1.2.2"
 
 
 class CMakeExtension(Extension):