Fix output of --trace=help. (#1500)

1 files changed, 2 insertions, 6 deletions

diff --git a/src/options/options_handler.h b/src/options/options_handler.h
index eef4c9b61..23a6be501 100644
--- a/src/options/options_handler.h
+++ b/src/options/options_handler.h
@@ -188,16 +188,12 @@ public:
   void decreaseVerbosity(std::string option);
   OutputLanguage stringToOutputLanguage(std::string option, std::string optarg) throw(OptionException);
   InputLanguage stringToInputLanguage(std::string option, std::string optarg) throw(OptionException);
-  void addTraceTag(std::string option, std::string optarg);
-  void addDebugTag(std::string option, std::string optarg);
+  void enableTraceTag(std::string option, std::string optarg);
+  void enableDebugTag(std::string option, std::string optarg);
   void notifyPrintSuccess(std::string option);
 
  private:
 
-  /* Helper utilities */
-  static std::string suggestTags(char const* const* validTags, std::string inputTag,
-                                 char const* const* additionalTags = NULL);
-
   /** Pointer to the containing Options object.*/
   Options* d_options;