diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-03-26 08:28:09 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-03-26 10:28:09 -0500 |
commit | 3606045186bffa81b292a5299c5a5d6fd7e0b68f (patch) | |
tree | acd070c880ca5f42008f1f2ce5ef1cbf88b53c2a /src/expr | |
parent | ecb0b1c2c656b70632b46021bcbb0ba4fb71ee2a (diff) |
Fix warnings about wrong line numbers (#2899)
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/expr_template.cpp | 2 | ||||
-rw-r--r-- | src/expr/expr_template.h | 2 | ||||
-rw-r--r-- | src/expr/kind_template.cpp | 10 |
3 files changed, 7 insertions, 7 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index 6f02d4c6a..b4e771c4a 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -33,7 +33,7 @@ ${includes} // compiler directs the user to the template file instead of the // generated one. We don't want the user to modify the generated one, // since it'll get overwritten on a later build. -#line 36 "${template}" +#line 37 "${template}" using namespace CVC4::kind; using namespace std; diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index da9d22389..c2e03c13b 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -612,7 +612,7 @@ private: ${getConst_instantiations} -#line 613 "${template}" +#line 616 "${template}" inline size_t ExprHashFunction::operator()(CVC4::Expr e) const { return (size_t) e.getId(); diff --git a/src/expr/kind_template.cpp b/src/expr/kind_template.cpp index dcc98a1b7..c72a64e1d 100644 --- a/src/expr/kind_template.cpp +++ b/src/expr/kind_template.cpp @@ -64,7 +64,7 @@ std::string kindToString(::CVC4::Kind k) { std::ostream& operator<<(std::ostream& out, TypeConstant typeConstant) { switch(typeConstant) { ${type_constant_descriptions} -#line 51 "${template}" +#line 68 "${template}" default: out << "UNKNOWN_TYPE_CONSTANT"; break; @@ -77,7 +77,7 @@ namespace theory { std::ostream& operator<<(std::ostream& out, TheoryId theoryId) { switch(theoryId) { ${theory_descriptions} -#line 64 "${template}" +#line 81 "${template}" default: out << "UNKNOWN_THEORY"; break; @@ -91,7 +91,7 @@ TheoryId kindToTheoryId(::CVC4::Kind k) { case kind::NULL_EXPR: break; ${kind_to_theory_id} -#line 78 "${template}" +#line 95 "${template}" case kind::LAST_KIND: break; } @@ -101,7 +101,7 @@ ${kind_to_theory_id} TheoryId typeConstantToTheoryId(::CVC4::TypeConstant typeConstant) { switch(typeConstant) { ${type_constant_to_theory_id} -#line 88 "${template}" +#line 105 "${template}" case LAST_TYPE: break; } @@ -111,7 +111,7 @@ ${type_constant_to_theory_id} std::string getStatsPrefix(TheoryId theoryId) { switch(theoryId) { ${theory_stats_prefixes} -#line 98 "${template}" +#line 115 "${template}" default: break; } |