Storm version 1.2.2

moves-rwth · Jul 16, 2018 · 2cfdb56 · 2cfdb56
1 parent 41c20c7
commit 2cfdb56
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)