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 {