diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-12-17 14:11:37 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-17 14:11:37 -0800 |
commit | 332357104e9ab1937049f0ea8e53042d8534f966 (patch) | |
tree | b92d9dd2fa7d01fa342d35fa6fccfea14ceb9514 /src/expr/expr_template.h | |
parent | bc40c176eb1205452e824ec9d89dc9a7c76cbd67 (diff) |
New C++ API: Add tests for term object. (#2755)
Diffstat (limited to 'src/expr/expr_template.h')
-rw-r--r-- | src/expr/expr_template.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index 324915b1d..da9d22389 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -391,7 +391,7 @@ public: * Returns the Boolean equivalence of this expression and * the given expression. */ - Expr iffExpr(const Expr& e) const; + Expr eqExpr(const Expr& e) const; /** * Returns the implication of this expression and |