From da81f6cf1ab94ae0ef748550883a69cebb1d405c Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 25 Apr 2018 15:10:13 +0200 Subject: [PATCH] Raise ImportError when using python 2.x --- lib/stormpy/__init__.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index f1ee516..91da0a8 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -1,3 +1,8 @@ +import sys + +if sys.version_info[0] == 2: + raise ImportError('Python 2.x is not supported for stormpy.') + from . import core from .core import * from . import storage