From 5707b5908a561b7e7c9befe68063a1f80e0e6516 Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Mon, 2 Jan 2017 17:04:48 +0100
Subject: [PATCH] ksp: fix Model declaration

---
 src/utility/shortestPaths.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/utility/shortestPaths.cpp b/src/utility/shortestPaths.cpp
index f0817ca..dd76f11 100644
--- a/src/utility/shortestPaths.cpp
+++ b/src/utility/shortestPaths.cpp
@@ -1,6 +1,10 @@
 #include "shortestPaths.h"
 #include "storm/utility/shortestPaths.h"
 
+// only forward declaring Model leads to pybind compilation error
+// this may be avoidable. but including certainly works.
+#include "storm/models/sparse/Model.h"
+
 #include <sstream>
 #include <string>