diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-14 00:08:52 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-14 00:08:52 +0000 |
commit | 5b8b6acd9091e2afec654ebed1332d6755bbb7d9 (patch) | |
tree | 2cb0db314d266ec048d2797ab1ae3c9dd6c33f3b /src/smt | |
parent | 64d707c3a97a8bbc46d4f3cd07e3a4d3908130b1 (diff) |
fix #line number warnings (sorry!)
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/smt_options_template.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/smt/smt_options_template.cpp b/src/smt/smt_options_template.cpp index e94418f15..57bdd468b 100644 --- a/src/smt/smt_options_template.cpp +++ b/src/smt/smt_options_template.cpp @@ -27,7 +27,7 @@ ${include_all_option_headers} ${option_handler_includes} -#line 33 "${template}" +#line 31 "${template}" using namespace std; @@ -48,7 +48,7 @@ void SmtEngine::setOption(const std::string& key, const CVC4::SExpr& value) ${smt_setoption_handlers} -#line 54 "${template}" +#line 52 "${template}" throw UnrecognizedOptionException(key); } @@ -65,7 +65,7 @@ CVC4::SExpr SmtEngine::getOption(const std::string& key) const ${smt_getoption_handlers} -#line 71 "${template}" +#line 69 "${template}" throw UnrecognizedOptionException(key); } |