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 |