From a2903b197b0383e622b9ce2f7fdc5b396d6c90f6 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 2 Aug 2017 18:48:33 +0200
Subject: [PATCH] include imported members

---
 doc/source/code_stormpy_core.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/source/code_stormpy_core.rst b/doc/source/code_stormpy_core.rst
index 77329a0..4f26fa9 100644
--- a/doc/source/code_stormpy_core.rst
+++ b/doc/source/code_stormpy_core.rst
@@ -4,6 +4,7 @@ Stormpy.core
 .. automodule:: stormpy
    :members:
    :undoc-members:
+   :imported-members:
 
 Core members
 =========================