diff --git a/cli/threadexecutor.cpp b/cli/threadexecutor.cpp
index 31594eaf61b..26d05d9718f 100644
--- a/cli/threadexecutor.cpp
+++ b/cli/threadexecutor.cpp
@@ -498,7 +498,7 @@ void ThreadExecutor::reportInfo(const ErrorLogger::ErrorMessage &msg)
 
 }
 
-void ThreadExecutor::reportVerification(const std::string  &/*str*/)
+void ThreadExecutor::bughuntingReport(const std::string  &/*str*/)
 {
     // TODO
 }
@@ -561,7 +561,7 @@ void ThreadExecutor::reportInfo(const ErrorLogger::ErrorMessage &/*msg*/)
 
 }
 
-void ThreadExecutor::reportVerification(const std::string &/*str*/)
+void ThreadExecutor::bughuntingReport(const std::string &/*str*/)
 {
 }