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 | |
parent | b62abe729cd029af9ab3e27f7f1a7cde28bb4b08 (diff) |
Fixing a null pointer dereference in the cvc3 compatibility layer. (#1089)
Diffstat (limited to 'src/compat')
-rw-r--r-- | src/compat/cvc3_compat.cpp | 4 | ||||
-rw-r--r-- | src/compat/cvc3_compat.h | 2 |
2 files changed, 3 insertions, 3 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 { diff --git a/src/compat/cvc3_compat.h b/src/compat/cvc3_compat.h index 25e3ae32f..daac466d5 100644 --- a/src/compat/cvc3_compat.h +++ b/src/compat/cvc3_compat.h @@ -321,7 +321,7 @@ public: Expr(); Expr(const Expr& e); Expr(const CVC4::Expr& e); - Expr(CVC4::Kind k); + Expr(ExprManager* em, CVC4::Kind k); // Compound expression constructors Expr eqExpr(const Expr& right) const; |