From 240899d32dc6125766d8f5f10a83b735c582b998 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 6 Dec 2017 16:49:05 +0100
Subject: [PATCH] Storm release 1.2.0

---
 version.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.cmake b/version.cmake
index 21ee2f621..d76de7858 100644
--- a/version.cmake
+++ b/version.cmake
@@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
-set(STORM_VERSION_MINOR 1)
+set(STORM_VERSION_MINOR 2)
 set(STORM_VERSION_PATCH 0)