Storm version 1.6.4

moves-rwth · Jan 13, 2022 · 4ec3f6a · 4ec3f6a
1 parent d7b29e5
commit 4ec3f6a
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 6)
-set(STORM_VERSION_PATCH 3)
+set(STORM_VERSION_PATCH 4)