fix #6969, again

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 30, 2023 · 160971d · 160971d
1 parent a957a56
commit 160971d
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
@@ -203,7 +203,7 @@ namespace nla {
         auto ql = q;
         while (!ql.is_val()) {
             lc = lcm(lc, denominator(ql.hi().val()));
-            ql = q.lo();
+            ql = ql.lo();
         }
         lc = lcm(denominator(ql.val()), lc);