diff --git a/CMakeLists.txt b/CMakeLists.txt index 9d8394166..d5b905eb1 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -386,7 +386,7 @@ string(REGEX REPLACE "^[0-9]+\\.[0-9]+\\.[0-9]+\\-[0-9]+\\-[a-z0-9]+\\-(.*)" "\\ if (STORM_VERSION_MAJOR MATCHES "NOTFOUND") set(STORM_VERSION_MAJOR 1) set(STORM_VERSION_MINOR 0) - set(STORM_VERSION_PATCH 0) + set(STORM_VERSION_PATCH 2) set(STORM_VERSION_GIT_HASH "") set(STORM_VERSION_COMMITS_AHEAD 0) set(STORM_VERSION_DIRTY boost::none)