Fix line numbers in templates (#3391)

This commit updates the line numbers in templates to address warnings
due to wrong line numbers.

3 files changed, 3 insertions, 3 deletions

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 4ca22459b..546a0d00e 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -621,7 +621,7 @@ private:
 
 ${getConst_instantiations}
 
-#line 609 "${template}"
+#line 625 "${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 d325d24b4..77468687c 100644
--- a/src/expr/kind_template.cpp
+++ b/src/expr/kind_template.cpp
@@ -92,7 +92,7 @@ TheoryId typeConstantToTheoryId(::CVC4::TypeConstant typeConstant)
   switch (typeConstant)
   {
 ${type_constant_to_theory_id}
-#line 94 "${template}"
+#line 96 "${template}"
     case LAST_TYPE: break;
   }
   throw IllegalArgumentException(
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h
index 0168363d4..da8e48a6f 100644
--- a/src/expr/kind_template.h
+++ b/src/expr/kind_template.h
@@ -68,7 +68,7 @@ struct KindHashFunction {
 enum CVC4_PUBLIC TypeConstant
 {
   ${type_constant_list}
-#line 71 "${template}"
+#line 72 "${template}"
   LAST_TYPE
 }; /* enum TypeConstant */