From 160971df60d9c264a09c624fad041e66163ef651 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 29 Oct 2023 19:10:46 -0700
Subject: [PATCH] fix #6969, again

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/nla_grobner.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp
index 0cd6b1859..21d46cccc 100644
--- 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);