Use false instead of 0.

Z3Prover · Aug 1, 2022 · a89be68 · a89be68
1 parent fe1e301
commit a89be68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/math/lp/hnf_cutter.cpp b/src/math/lp/hnf_cutter.cpp
@@ -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