diff options
Diffstat (limited to 'src/options/options_handler.h')
| -rw-r--r-- | src/options/options_handler.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/options/options_handler.h b/src/options/options_handler.h index 9a5af8865..876edfad7 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -97,12 +97,6 @@ public: unsigned long limitHandler(std::string option, std::string optarg); - void notifyTlimit(const std::string& option); - void notifyTlimitPer(const std::string& option); - void notifyRlimit(const std::string& option); - void notifyRlimitPer(const std::string& option); - - /* expr/options_handlers.h */ void setDefaultExprDepthPredicate(std::string option, int depth); void setDefaultDagThreshPredicate(std::string option, int dag); |