Fix warnings about wrong line numbers (#2899)

1 files changed, 5 insertions, 5 deletions

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