From 6c729cabf7c393e07239595f3b6d9e078a79d1e7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 11 Dec 2017 16:23:12 +0100
Subject: [PATCH] New stormpy version 1.2.0

---
 CHANGELOG.md            | 8 ++++++--
 lib/stormpy/_version.py | 2 +-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index cecf1b407..8479b198b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,7 +2,7 @@ Changelog
 =============
 
 
-Version 1.1.x
+Version 1.2.x
 -------------
 
 ### Version 1.2.0
@@ -15,6 +15,10 @@ Requires storm version >= 1.2.0 and pycarl version >= 2.0.2
 - Extended documentation
 - Extended build script
 
+
+Version 1.1.x
+-------------
+
 ### Version 1.1.0 (2017/08)
 Requires storm version >= 1.1.0
 - Bindings for `storm-pars`
@@ -40,4 +44,4 @@ Version 0.9.x
 - Improved building system, read flags from storm build system
 
 ### Version 0.9 (2017/03)
-- Start of this changelog
\ No newline at end of file
+- Start of this changelog
diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py
index 6849410aa..c68196d1c 100644
--- a/lib/stormpy/_version.py
+++ b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.1.0"
+__version__ = "1.2.0"