mirror of
https://github.com/Z3Prover/z3
synced 2025-10-16 04:20:25 +00:00
warnings
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
f67077b7ff
commit
dde0c514fa
2 changed files with 1 additions and 2 deletions
|
@ -507,7 +507,6 @@ namespace smt {
|
|||
while (consistent && can_propagate()) {
|
||||
unsigned idx = m_asserted_atoms[m_asserted_qhead];
|
||||
m_asserted_qhead++;
|
||||
std::cout << "propagate atom " << idx << "\n";
|
||||
consistent = propagate_atom(m_atoms[idx]);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue