1 files changed, 0 insertions, 1 deletions
diff --git a/src/options/options.h b/src/options/options.h
index a21ce4583..3f758e392 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -227,7 +227,6 @@ public:
   bool getVersion() const;
   bool getWaitToJoin() const;
   const std::string& getForceLogicString() const;
-  const std::vector<std::string>& getThreadArgv() const;
   int getVerbosity() const;
   std::istream* getIn() const;
   std::ostream* getErr();