From 71f8504c08666a5f309f344cebac3f15d22c02f6 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 18 Jun 2015 17:01:29 +0200
Subject: [PATCH] included a necessary header which was indirectly included
 before to ease further implementations of the smtsolver interface

Former-commit-id: 72cdaf262889ab31518d865f4f8db4a63c8b854f
---
 src/solver/Z3SmtSolver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"