diff options
Diffstat (limited to 'tools/kleaver/main.cpp')
| -rw-r--r-- | tools/kleaver/main.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index f91693c5..ea9be41f 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -36,7 +36,7 @@ using namespace llvm; using namespace klee; using namespace klee::expr; -#ifdef SUPPORT_METASMT +#ifdef ENABLE_METASMT #include <metaSMT/DirectSolver_Context.hpp> #include <metaSMT/backend/Z3_Backend.hpp> @@ -53,7 +53,7 @@ using namespace klee::expr; using namespace metaSMT; using namespace metaSMT::solver; -#endif /* SUPPORT_METASMT */ +#endif /* ENABLE_METASMT */ |