From 67652dd8eb16f461b0d6dc0de9e13d89a6e2ea81 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 7 May 2025 13:14:23 -0700
Subject: [PATCH] test

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/lar_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index 99a3fc851..78c00fd65 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -16,6 +16,7 @@ namespace lp {
     };
     
     struct imp {
+
         lar_solver &lra;
         var_register m_var_register;
         svector<column> m_columns;