From 6e285f06de869c22b6e2131f730128d185cb12a9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 21 Mar 2014 14:57:25 -0700 Subject: [PATCH] improved SLS Signed-off-by: Nikolaj Bjorner --- src/math/simplex/sparse_matrix.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/simplex/sparse_matrix.h b/src/math/simplex/sparse_matrix.h index 5ffa78bc9..cfe146b84 100644 --- a/src/math/simplex/sparse_matrix.h +++ b/src/math/simplex/sparse_matrix.h @@ -35,7 +35,7 @@ namespace simplex { struct row_entry { numeral m_coeff; var_t m_var; - row_entry(numeral& c, var_t v): m_coeff(c), m_var(v) {} + row_entry(numeral const& c, var_t v): m_coeff(c), m_var(v) {} }; private: