mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-15 03:25:43 +00:00
Code Activity

theory_nseq: drop stray std::cout debug print in check_length_coherence

Browse source 
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
This commit is contained in:
Margus Veanes 2026-07-04 08:01:09 +03:00
parent 2865e5f64d
commit c0fbca4f41
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/theory_nseq.cpp
View file

@ -2101,7 +2101,6 @@ namespace smt {
literal_vector dep_lits;
for (unsigned idx : mem_indices) {
std::cout << seq::mem_pp(mems[idx]) << std::endl;
seq::deps_to_lits(m_nielsen.dep_mgr(), mems[idx].m_dep, eqs, dep_lits);
}