install importlib-resources for ubuntu doc

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 4, 2023 · de75692 · de75692
1 parent f7415bb
commit de75692
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp
@@ -399,7 +399,7 @@ namespace nla {
         for (auto eq : m_solver.equations()) 
             if (propagate_linear_equations(*eq))
                 ++changed;
-#if 1
+#if 0
         for (auto eq : m_solver.equations()) 
             if (check_missed_bound(*eq))
                 return true;