mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 04:28:17 +00:00
Code Activity

fix missing initialization

Browse source
This commit is contained in:
Arie Gurfinkel 2017-06-23 09:36:44 -04:00
parent 9874db7458
commit 0dead22dca
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/muz/transforms/dl_mk_quantifier_abstraction.cpp
View file

@ -142,7 +142,8 @@ namespace datalog {
m(ctx.get_manager()), m(ctx.get_manager()),
m_ctx(ctx), m_ctx(ctx),
a(m), a(m),
m_refs(m) { m_refs(m),
m_mc(NULL){
} }
mk_quantifier_abstraction::~mk_quantifier_abstraction() { mk_quantifier_abstraction::~mk_quantifier_abstraction() {