From 57f4dfc344f5e2482537a9cefb87365443b266cf Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 2 Jan 2019 17:57:33 +0100
Subject: [PATCH] Require newest pycarl version

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 8b30314..c18ee19 100755
--- a/setup.py
+++ b/setup.py
@@ -234,7 +234,7 @@ setup(
 
     cmdclass={'build_ext': CMakeBuild},
     zip_safe=False,
-    install_requires=['pycarl>=2.0.2'],
+    install_requires=['pycarl>=2.0.3'],
     setup_requires=['pytest-runner'],
     tests_require=['pytest'],
     python_requires='>=3',