From 16eae28cc90bb8e72040658e16bec113a798219d Mon Sep 17 00:00:00 2001
From: Simon Martin <simartin@users.noreply.github.com>
Date: Sun, 19 Jan 2020 18:20:51 +0100
Subject: [PATCH] Fix AppVeyor issue following reportVerification rename.
 (#2497)

---
 cli/threadexecutor.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cli/threadexecutor.cpp b/cli/threadexecutor.cpp
index 31594eaf6..26d05d971 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*/)
 {
 }