mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
parent
e591b321bb
commit
33d96c1a37
|
@ -1415,6 +1415,7 @@ namespace smt {
|
|||
m_stats.m_num_mk_bin_clause++;
|
||||
return nullptr;
|
||||
}
|
||||
Z3_fallthrough;
|
||||
default: {
|
||||
m_stats.m_num_mk_clause++;
|
||||
unsigned iscope_lvl = lemma ? get_max_iscope_lvl(num_lits, lits) : 0;
|
||||
|
|
Loading…
Reference in a new issue