diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-29 11:32:29 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-29 11:32:29 -0500 |
commit | d542d80f1241341752ed1843b63799435642c6f2 (patch) | |
tree | 1ec8f68fa99405de49b11ad1140baf0bebd28890 /src/options/options_template.cpp | |
parent | ff6d52af155e37e27bcc8a963ecf1c272067e1f2 (diff) |
Fix proofs build.
Diffstat (limited to 'src/options/options_template.cpp')
-rw-r--r-- | src/options/options_template.cpp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index d97d11364..9c2d5aaa4 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -552,10 +552,6 @@ ${all_modules_option_handlers} } } - if((*this)[options::incrementalSolving] && (*this)[options::proof]) { - throw OptionException(std::string("The use of --incremental with --proof is not yet supported")); - } - Debug("options") << "returning " << nonOptions.size() << " non-option arguments." << std::endl; return nonOptions; @@ -576,7 +572,7 @@ std::vector<std::string> Options::suggestCommandLineOptions(const std::string& o static const char* smtOptions[] = { ${all_modules_smt_options}, -#line 580 "${template}" +#line 576 "${template}" NULL };/* smtOptions[] */ @@ -598,7 +594,7 @@ SExpr Options::getOptions() const throw() { ${all_modules_get_options} -#line 602 "${template}" +#line 598 "${template}" return SExpr(opts); } |