diff options
Diffstat (limited to 'src/options/options_handler.h')
| -rw-r--r-- | src/options/options_handler.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/options/options_handler.h b/src/options/options_handler.h index bf07729ae..eed361c0d 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -100,11 +100,6 @@ public: const std::string& flag, const std::string& optarg); - // decision/options_handlers.h - void setDecisionModeStopOnly(const std::string& option, - const std::string& flag, - DecisionMode m); - /** * Throws a ModalException if this option is being set after final * initialization. |