diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-07 15:28:20 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-07 15:28:20 -0500 |
| commit | c6c20b80eb836a3b44f15835f91d6d1d7af342df (patch) | |
| tree | 6f4667a4cac4f80271d0d2e7b0b9bb91f1eef969 /src/expr/options_handlers.h | |
| parent | 98eec3152a2b24dc0cc04cd1ea595e400cca203e (diff) | |
Make --default-dag-thresh apply to stringstreams
Diffstat (limited to 'src/expr/options_handlers.h')
| -rw-r--r-- | src/expr/options_handlers.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/expr/options_handlers.h b/src/expr/options_handlers.h index 7a1d73c36..57c4d1aa4 100644 --- a/src/expr/options_handlers.h +++ b/src/expr/options_handlers.h @@ -39,8 +39,7 @@ inline void setDefaultExprDepth(std::string option, int depth, SmtEngine* smt) { // intentionally exclude Dump stream from this list } -inline void setDefaultDagThresh(std::string option, std::string optarg, SmtEngine* smt) { - int dag = atoi(optarg.c_str()); +inline void setDefaultDagThresh(std::string option, int dag, SmtEngine* smt) { if(dag < 0) { throw OptionException("--default-dag-thresh requires a nonnegative argument."); } |