From 5ebb83b1ea749528ceae8bc3b12a203b8ae866f9 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 18 Dec 2019 15:54:35 +0100
Subject: [PATCH] new stormpy version 1.4.1

---
 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 67bc602..bf25615 100644
--- a/lib/stormpy/_version.py
+++ b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.3.0"
+__version__ = "1.4.1"