From 80b14c0965678fb91467de287b00a9a1d8a39be5 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 15 Oct 2019 14:43:33 -0700
Subject: [PATCH] Fix line numbers in templates (#3391)

This commit updates the line numbers in templates to address warnings
due to wrong line numbers.
---
 src/expr/expr_template.h   | 2 +-
 src/expr/kind_template.cpp | 2 +-
 src/expr/kind_template.h   | 2 +-
 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 */
 
-- 
2.30.2