diff --git a/lib/cppcheck.cpp b/lib/cppcheck.cpp
index 431226edc..bf491cf7c 100644
--- a/lib/cppcheck.cpp
+++ b/lib/cppcheck.cpp
@@ -340,11 +340,6 @@ unsigned int CppCheck::check(const std::string &path)
         ValueFlow::setValues(&tokenizer.list, const_cast<SymbolDatabase *>(tokenizer.getSymbolDatabase()), this, &mSettings);
         if (mSettings.debugnormal)
             tokenizer.printDebugOutput(1);
-#ifdef USE_Z3
-        if (mSettings.bugHunting)
-            ExprEngine::runChecks(this, &tokenizer, &mSettings);
-        else
-#endif
         checkNormalTokens(tokenizer);
         return mExitCode;
     }