mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Use false
instead of 0
.
This commit is contained in:
parent
fe1e301735
commit
a89be68050
|
@ -20,7 +20,7 @@ namespace lp {
|
|||
lra(lia.lra),
|
||||
m_settings(lia.settings()),
|
||||
m_abs_max(zero_of_type<mpq>()),
|
||||
m_var_register(0) {}
|
||||
m_var_register(false) {}
|
||||
|
||||
bool hnf_cutter::is_full() const {
|
||||
return
|
||||
|
|
Loading…
Reference in a new issue