From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 26 Mar 2019 15:28:09 +0000 (-0700)
Subject: Fix warnings about wrong line numbers (#2899)
X-Git-Tag: cvc5-1.0.0~4211
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3606045186bffa81b292a5299c5a5d6fd7e0b68f;p=cvc5.git

Fix warnings about wrong line numbers (#2899)
---

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;
   }