1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Solver/CoreSolver.cpp b/lib/Solver/CoreSolver.cpp
index 0d451f27..9248f3d3 100644
--- a/lib/Solver/CoreSolver.cpp
+++ b/lib/Solver/CoreSolver.cpp
@@ -32,10 +32,11 @@
 #undef Type
 #undef STP
 
+using namespace klee;
 using namespace metaSMT;
 using namespace metaSMT::solver;
 
-static Solver *handleMetaSMT() {
+static klee::Solver *handleMetaSMT() {
   Solver *coreSolver = NULL;
   std::string backend;
   switch (MetaSMTBackend) {