From f14d8f3b7c5832bd4ec3ef742821cfe1552f11fa Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Wed, 5 Apr 2017 17:40:26 +0200
Subject: [PATCH] import pycarl.Variable for parametric stuff

---
 lib/stormpy/__init__.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py
index c2ff341..b71c36b 100644
--- a/lib/stormpy/__init__.py
+++ b/lib/stormpy/__init__.py
@@ -5,6 +5,9 @@ from .storage import *
 from .version import __version__
 import stormpy.logic
 
+from pycarl import Variable  # needed for building parametric models
+
+
 core._set_up("")