diff --git a/src/storm/builder/DdPrismModelBuilder.h b/src/storm/builder/DdPrismModelBuilder.h index 57d990b23..fb357a6c8 100644 --- a/src/storm/builder/DdPrismModelBuilder.h +++ b/src/storm/builder/DdPrismModelBuilder.h @@ -3,6 +3,7 @@ #include #include +#include #include "storm/storage/prism/Program.h"