diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-01-09 12:44:27 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-09 12:44:27 -0800 |
commit | 6b2752ae9c9c9af67a86c27c0d688f16f8fd0c41 (patch) | |
tree | 6672bf9fb838bf854756f9f7c5935f6a00023ba6 /src/options/options_handler.h | |
parent | e6c966990ee7d166c421b6ba8ec39ac2e05ee62a (diff) |
Fix output of --trace=help. (#1500)
Diffstat (limited to 'src/options/options_handler.h')
-rw-r--r-- | src/options/options_handler.h | 8 |
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; |