diff --git a/src/storm/logic/PlayerCoalition.cpp b/src/storm/logic/PlayerCoalition.cpp index e744fbe1c..316e40de8 100644 --- a/src/storm/logic/PlayerCoalition.cpp +++ b/src/storm/logic/PlayerCoalition.cpp @@ -1,5 +1,7 @@ #include "storm/logic/PlayerCoalition.h" +#include + namespace storm { namespace logic {