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

Bugfix for fpa2bv_converter

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-06-09 12:09:53 +01:00
parent cb29c07f06
commit 879363157f
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/ast/fpa/fpa2bv_converter.cpp
View file

@ -4107,5 +4107,6 @@ void fpa2bv_converter::reset(void) {
m.dec_ref(it->m_value.first);
m.dec_ref(it->m_value.second);
}
m_specials.reset();
m_extra_assertions.reset();
}