From bdff55242edc9253a38cb240f2105c9ac6ec4399 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 7 Dec 2018 14:12:47 +0100
Subject: [PATCH] setting stormpy version to 1.3.0 in preparation of release

---
 lib/stormpy/_version.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py
index c68196d..67bc602 100644
--- a/lib/stormpy/_version.py
+++ b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.2.0"
+__version__ = "1.3.0"