1 files changed, 0 insertions, 6 deletions
diff --git a/src/checkqueue.h b/src/checkqueue.h
index fcd6e87af3..83b371fd42 100644
--- a/src/checkqueue.h
+++ b/src/checkqueue.h
@@ -159,12 +159,6 @@ public:
         }
     }
 
-    //! Worker thread
-    void Thread()
-    {
-        Loop(false /* worker thread */);
-    }
-
     //! Wait until execution finishes, and return whether all evaluations were successful.
     bool Wait()
     {