diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-31 11:25:27 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-31 11:25:27 -0700 |
commit | 0b2eb659087dd3643e57fe39ee84f6cb42721e94 (patch) | |
tree | d273e0b2d7207f1fb5c1e49ebdfcb77d00eb0992 /src/options/options_handler.h | |
parent | cf97bbba5725abcb7a4085271719de8b1a832628 (diff) |
Fix option handler for lazy/bv-sat-solver combinations. (#2225)
Further, unifies all *limitHandler and *limitPerHandler to limitHandler.
Diffstat (limited to 'src/options/options_handler.h')
-rw-r--r-- | src/options/options_handler.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/options/options_handler.h b/src/options/options_handler.h index 6e2044957..1869dc6a0 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -182,10 +182,7 @@ public: void statsEnabledBuild(std::string option, bool value); - unsigned long tlimitHandler(std::string option, std::string optarg); - unsigned long tlimitPerHandler(std::string option, std::string optarg); - unsigned long rlimitHandler(std::string option, std::string optarg); - unsigned long rlimitPerHandler(std::string option, std::string optarg); + unsigned long limitHandler(std::string option, std::string optarg); void notifyTlimit(const std::string& option); void notifyTlimitPer(const std::string& option); |