diff --git a/src/solver/Z3SmtSolver.cpp b/src/solver/Z3SmtSolver.cpp
index b8b93431a..082ab3c28 100644
--- a/src/solver/Z3SmtSolver.cpp
+++ b/src/solver/Z3SmtSolver.cpp
@@ -1,5 +1,5 @@
 #include "src/solver/Z3SmtSolver.h"
-
+#include "src/utility/macros.h"
 #include "src/exceptions/NotSupportedException.h"
 #include "src/exceptions/InvalidStateException.h"