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):