From 09b316ce75fd330b3b140d138bcdae2b0e909234 Mon Sep 17 00:00:00 2001
From: Mauricio Collares <mauricio@collares.org>
Date: Fri, 18 Mar 2022 18:28:08 -0300
Subject: [PATCH] chore(lp): fix compilation error

---
 src/util/lp/permutation_matrix.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/lp/permutation_matrix.h b/src/util/lp/permutation_matrix.h
index 27d971415..ccb84fa97 100644
--- a/src/util/lp/permutation_matrix.h
+++ b/src/util/lp/permutation_matrix.h
@@ -123,7 +123,7 @@ namespace lean {
 
         unsigned size() const { return static_cast<unsigned>(m_rev.size()); }
 
-        unsigned * values() const { return m_permutation; }
+        const unsigned * values() const { return &m_permutation[0]; }
     }; // end of the permutation class
 
 #ifdef LEAN_DEBUG