diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-24 13:01:33 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-24 13:01:33 -0700 |
commit | 83b4e2ba719ddc410c125a7ef7ff49f39dc2a599 (patch) | |
tree | 329f0a3f91e9ba44368a9f435bd2c2b17f75c1e9 /src/expr | |
parent | d12c7561624de9a2ae6cf10a7fa2bd9c97b2bc5e (diff) |
Fix compiler warnings (#1959)
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/expr_template.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index 3a27fca25..f8601af15 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -43,7 +43,7 @@ ${includes} // compiler directs the user to the template file instead of the // generated one. We don't want the user to modify the generated one, // since it'll get overwritten on a later build. -#line 44 "${template}" +#line 47 "${template}" namespace CVC4 { @@ -609,7 +609,7 @@ private: ${getConst_instantiations} -#line 549 "${template}" +#line 613 "${template}" inline size_t ExprHashFunction::operator()(CVC4::Expr e) const { return (size_t) e.getId(); |