From 51f86db9ebc6c7cf99bb3ad40b5775f58f4d205c Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 24 Nov 2020 12:48:07 +0100
Subject: [PATCH] Storm version 1.6.3

---
 version.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.cmake b/version.cmake
index 4fcf2a030..32885553f 100644
--- 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)