Storm version 1.6.3

moves-rwth · Nov 24, 2020 · 51f86db · 51f86db
1 parent 7002946
commit 51f86db
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 2)
+set(STORM_VERSION_PATCH 3)