From e5049c67dafae064633385f8a2f1e85fde834a5c Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Sat, 8 Dec 2018 11:59:58 +0100
Subject: [PATCH] Storm version 1.3.0

---
 version.cmake | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/version.cmake b/version.cmake
index b82fc11c5..a99d0c45a 100644
--- a/version.cmake
+++ b/version.cmake
@@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
-set(STORM_VERSION_MINOR 2)
-set(STORM_VERSION_PATCH 3)
+set(STORM_VERSION_MINOR 3)
+set(STORM_VERSION_PATCH 0)