From 05eaaa4055c7d42bfa731cf1e568ada6b94a9c3e Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Sun, 15 Jan 2017 17:05:16 +0100
Subject: [PATCH] add header include in shortestPath for gcc support

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

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