From 2cfdb56450519b72fcb73e699bbb140c3a289049 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 16 Jul 2018 17:13:59 +0200
Subject: [PATCH] Storm version 1.2.2

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

diff --git a/version.cmake b/version.cmake
index 9a0907e74..6a9d667db 100644
--- a/version.cmake
+++ b/version.cmake
@@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
 set(STORM_VERSION_MINOR 2)
-set(STORM_VERSION_PATCH 1)
+set(STORM_VERSION_PATCH 2)