diff options
Diffstat (limited to 'src/compat/cvc3_compat.cpp')
-rw-r--r-- | src/compat/cvc3_compat.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp index 169b49faa..df7257d3f 100644 --- a/src/compat/cvc3_compat.cpp +++ b/src/compat/cvc3_compat.cpp @@ -252,8 +252,8 @@ Expr::Expr(const Expr& e) : CVC4::Expr(e) { Expr::Expr(const CVC4::Expr& e) : CVC4::Expr(e) { } -Expr::Expr(const CVC4::Kind k) : CVC4::Expr() { - *this = getEM()->operatorOf(k); +Expr::Expr(ExprManager* em, const CVC4::Kind k) : CVC4::Expr() { + *this = em->operatorOf(k); } Expr Expr::eqExpr(const Expr& right) const { |