From 78a56cf73204123eac5e75a546ad856bba9dd537 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 22 May 2018 11:04:39 +0200
Subject: [PATCH] Added missing include

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

diff --git a/src/core/modelchecking.cpp b/src/core/modelchecking.cpp
index 1084a12..7faafe0 100644
--- a/src/core/modelchecking.cpp
+++ b/src/core/modelchecking.cpp
@@ -1,5 +1,6 @@
 #include "modelchecking.h"
 #include "result.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 
 template<typename ValueType>
 using CheckTask = storm::modelchecker::CheckTask<storm::logic::Formula, ValueType>;