From 0929c3cced9143ce6afba270395b38c9218640f1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Fri, 24 Jan 2020 20:37:24 +0100
Subject: [PATCH] Cleanup code, CppCheck::checkNormalTokens executes the bug
 hunting code

---
 lib/cppcheck.cpp | 5 -----
 1 file changed, 5 deletions(-)

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;
     }