From 0c62edfb0db7f51b617f9cd08ae250bcce5f26d4 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 26 Apr 2018 22:18:51 +0200 Subject: [PATCH] Added missing package in setup.py --- setup.py | 1 + 1 file changed, 1 insertion(+) diff --git a/setup.py b/setup.py index 1519370..6a1a851 100755 --- a/setup.py +++ b/setup.py @@ -228,6 +228,7 @@ setup( ], packages=['stormpy', + 'stormpy.exceptions', 'stormpy.info', 'stormpy.logic', 'stormpy.storage',