revert unintentional test change

moves-rwth · Jul 28, 2023 · c8570a2 · c8570a2
1 parent 1fd1bb9
commit c8570a2
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 8)
-set(STORM_VERSION_PATCH 2)
+set(STORM_VERSION_PATCH 1)