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)