diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 7baaa56b2..6f02cb840 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1652,6 +1652,7 @@ public:
             if (!th.is_relevant_and_shared(n1)) {                    
                 continue;
             }
+            ensure_column(v);
             if (!can_get_ivalue(v)) {
                 continue;
             }