Fix line numbers in templates (#3391)

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

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 4ca22459b9459e304906f40bc3ec1a644ff675a1..546a0d00e2e3739977abcce72c1fa0877b51774e 100644 (file)
--- 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 d325d24b45381f3ce5b1d8af3f9ee0cf5a797e0d..77468687c589f69f0becc4246c8b87cb4520cfba 100644 (file)
--- 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 0168363d438084c973e48650b35820a0eff1bbe2..da8e48a6f464af572962fec60aa2f799d98df602 100644 (file)
--- 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 */