From 96891acfe7e53805c6ed6813538319704354adc7 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 22 Aug 2016 13:10:03 +0200
Subject: [PATCH] included missing (at least for some compilers) header

Former-commit-id: 4792acf519378b62e9899f5b941559c5b6fffcd6
---
 src/modelchecker/AbstractModelChecker.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/modelchecker/AbstractModelChecker.cpp b/src/modelchecker/AbstractModelChecker.cpp
index 616dcf828..5d1759b94 100644
--- a/src/modelchecker/AbstractModelChecker.cpp
+++ b/src/modelchecker/AbstractModelChecker.cpp
@@ -17,6 +17,7 @@
 #include "src/models/symbolic/Mdp.h"
 #include "src/models/sparse/MarkovAutomaton.h"
 #include "src/models/sparse/StandardRewardModel.h"
+#include "src/models/sparse/StandardRewardModel.h"
 #include "src/storage/dd/Add.h"
 #include "src/storage/dd/Bdd.h"