mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

trying to fix mac build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-10-16 09:23:50 -07:00
parent 256c9d76d3
commit a93f1f88cc
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/ast/normal_forms/nnf.cpp
View file

@ -216,6 +216,15 @@ struct nnf::imp {
m_cache_result(cache_res), m_cache_result(cache_res),
m_spos(spos) { m_spos(spos) {
} }
frame(frame & other):
m_curr(other.m_curr),
m_i(other.m_i),
m_pol(other.m_pol),
m_in_q(other.m_in_q),
m_new_child(other.m_new_child),
m_cache_result(other.m_cache_result),
m_spos(other.m_spos) {
}
//frame():m_curr(*(ast_manager*)(nullptr)) { //frame():m_curr(*(ast_manager*)(nullptr)) {
//} //}
}; };