diff --git a/src/solver/SmtSolver.h b/src/solver/SmtSolver.h index 51235d28c..780f83a62 100644 --- a/src/solver/SmtSolver.h +++ b/src/solver/SmtSolver.h @@ -15,6 +15,7 @@ #include #include #include +#include namespace storm { namespace solver {