diff --git a/src/storm-pars/analysis/Order.cpp b/src/storm-pars/analysis/Order.cpp index 350cffa29..150d2711d 100644 --- a/src/storm-pars/analysis/Order.cpp +++ b/src/storm-pars/analysis/Order.cpp @@ -1,5 +1,7 @@ #include #include +#include + #include "Order.h" namespace storm {