From c42ccaf644f057cb959c37593a877c12826d4a1f Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 22 May 2018 10:30:48 +0200
Subject: [PATCH] Added missing include

---
 src/core/bisimulation.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/bisimulation.cpp b/src/core/bisimulation.cpp
index e7746ba..6926791 100644
--- a/src/core/bisimulation.cpp
+++ b/src/core/bisimulation.cpp
@@ -1,4 +1,5 @@
 #include "bisimulation.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 
 
 template <storm::dd::DdType DdType, typename ValueType>