From 08bc810b2cf0aa4b4d7b95001e24d854034a21e8 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 31 Aug 2015 12:41:20 +0200
Subject: [PATCH] added missing include

Former-commit-id: 7eed5aaba7c695b02b07064c461915a472e7fa42
---
 .../storage/StronglyConnectedComponentDecompositionTest.cpp      | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp b/test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp
index 9f4f0ad5c..ca6f55907 100644
--- a/test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp
+++ b/test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp
@@ -4,6 +4,7 @@
 #include "src/storage/StronglyConnectedComponentDecomposition.h"
 #include "src/models/sparse/Mdp.h"
 #include "src/models/sparse/Dtmc.h"
+#include "src/models/sparse/StandardRewardModel.h"
 
 TEST(StronglyConnectedComponentDecomposition, Crowds) {
 	std::shared_ptr<storm::models::sparse::Model<double>> abstractModel = storm::parser::AutoParser::parseModel(STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds20_5.tra", STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds20_5.lab", "", "");