diff --git a/version.cmake b/version.cmake index d76de7858..9a0907e74 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 0) +set(STORM_VERSION_PATCH 1)