From 28f5a8799a3391ef2fa9fa3e02f486052e4de181 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 24 Aug 2015 12:38:55 +0200
Subject: [PATCH] added header to make gcc happy

Former-commit-id: 666401236e619e81fbb16b806ada5e6fa3520941
---
 src/modelchecker/csl/HybridCtmcCslModelChecker.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/modelchecker/csl/HybridCtmcCslModelChecker.cpp b/src/modelchecker/csl/HybridCtmcCslModelChecker.cpp
index 0fb8b5dca..85464f106 100644
--- a/src/modelchecker/csl/HybridCtmcCslModelChecker.cpp
+++ b/src/modelchecker/csl/HybridCtmcCslModelChecker.cpp
@@ -1,5 +1,7 @@
 #include "src/modelchecker/csl/HybridCtmcCslModelChecker.h"
 
+#include "src/models/symbolic/StandardRewardModel.h"
+
 #include "src/modelchecker/csl/helper/SparseCtmcCslHelper.h"
 #include "src/modelchecker/csl/helper/HybridCtmcCslHelper.h"