From 6ce429efc48c3cd23edc32fed756920ff27fe313 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 12 Jul 2019 10:23:22 +0200
Subject: [PATCH] Added missing include

---
 src/storm/utility/DDEncodingExporter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/utility/DDEncodingExporter.cpp b/src/storm/utility/DDEncodingExporter.cpp
index 89cbdb56e..ba2082f66 100644
--- a/src/storm/utility/DDEncodingExporter.cpp
+++ b/src/storm/utility/DDEncodingExporter.cpp
@@ -1,6 +1,6 @@
 #include "storm/utility/DDEncodingExporter.h"
 #include "storm/utility/file.h"
-
+#include "storm/models/symbolic/StandardRewardModel.h"
 
 namespace storm {
     namespace exporter {