Fix warnings about wrong line numbers (#2899)

diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index 6f02d4c6a382926f51df2a80f1264736ef1ae507..b4e771c4a15d8f3cec01f0af5a8383e425ebe94a 100644 (file)
--- 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 da9d22389fee50a653ed6702c96875f8a4e915b2..c2e03c13b0bf977218abf2067323ede62a2daa90 100644 (file)
--- 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 dcc98a1b751f380229071b803b8d238261e7908b..c72a64e1d794f462c75653d66e8ac293d8138c1c 100644 (file)
--- 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;
   }