diff options
-rw-r--r-- | src/expr/expr_template.h | 2 | ||||
-rw-r--r-- | src/expr/kind_template.cpp | 2 | ||||
-rw-r--r-- | 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 */ |