Skip to content

Commit 4e56834

Browse files
committed
test
Signed-off-by: Lev Nachmanson <[email protected]>
1 parent a527667 commit 4e56834

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/math/lp/lar_solver.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ namespace lp {
1616
};
1717

1818
struct imp {
19+
1920
lar_solver &lra;
2021
var_register m_var_register;
2122
svector<column> m_columns;

0 commit comments

Comments
 (0)