From adfbc2d0012b7ff8538eea2599ee3a05be28b4b7 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 1 Aug 2018 10:26:39 -0700
Subject: [PATCH] fix the build

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

diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
index 37a096827..6e418fe68 100644
--- a/src/test/lp/lp.cpp
+++ b/src/test/lp/lp.cpp
@@ -2541,7 +2541,7 @@ void read_row_cols(unsigned i, static_matrix<double, double>& A, std::ifstream &
         lp_assert(r.size() == 4);
         unsigned j = atoi(r[1].c_str());
         double v = atof(r[3].c_str());
-        A.add_new_element(i, j, v);
+        A.set(i, j, v);
     } while (true);
 }