From 7287272457468daf26c7af609e394b39433871a4 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 24 Nov 2017 21:14:00 +0100
Subject: [PATCH] added another missing include

---
 src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp b/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp
index 9ea3420ca..f2a790b9b 100644
--- a/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp
@@ -9,6 +9,7 @@
 #include "storm/logic/Formulas.h"
 #include "storm/solver/EigenLinearEquationSolver.h"
 #include "storm/models/sparse/StandardRewardModel.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm/models/sparse/Ctmc.h"
 #include "storm/models/symbolic/Ctmc.h"
 #include "storm/modelchecker/csl/SparseCtmcCslModelChecker.h"