mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
debugging pb
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
ec84d69206
commit
fbf834f4c4
|
@ -1211,7 +1211,8 @@ namespace smt {
|
|||
|
||||
while (m_num_marks > 0) {
|
||||
|
||||
//m_lemma.normalize();
|
||||
m_lemma.normalize();
|
||||
TRACE("pb", display(tout, m_lemma, true););
|
||||
SASSERT(m_lemma.well_formed());
|
||||
|
||||
//
|
||||
|
|
Loading…
Reference in a new issue