diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-09-19 15:51:50 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-19 15:51:50 -0700 |
| commit | 76926d9278970aa393248715dc5ca06b3b337c7c (patch) | |
| tree | e5fb1e36e088b20ef4d8c9dc86791033f57c8789 /src/compat/cvc3_compat.cpp | |
| parent | b62abe729cd029af9ab3e27f7f1a7cde28bb4b08 (diff) | |
Fixing a null pointer dereference in the cvc3 compatibility layer. (#1089)
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 { |