included a necessary header which was indirectly included before to ease further implementations of the smtsolver interface

Former-commit-id: 72cdaf2628
10 years ago · 71f8504c08
1 changed files with 1 additions and 1 deletions
--- 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"