diff --git a/stormpy/setup.py b/stormpy/setup.py index a15acca1a..6e9504a74 100755 --- a/stormpy/setup.py +++ b/stormpy/setup.py @@ -151,7 +151,7 @@ setup(name="stormpy", maintainer_email="sebastian.junges@cs.rwth-aachen.de", url="http://moves.rwth-aachen.de", description="stormpy - Python Bindings for Storm", - packages=['stormpy', 'stormpy.info', 'stormpy.expressions', 'stormpy.logic'], + packages=['stormpy', 'stormpy.info', 'stormpy.expressions', 'stormpy.logic', 'stormpy.storage'], package_dir={'':'lib'}, ext_package='stormpy', ext_modules=[ext_core, ext_info, ext_expressions, ext_logic, ext_storage