From 3c0e5f5226a2f014d6db461bd47f3f6da0772207 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Fri, 9 Aug 2024 04:21:21 -0500
Subject: [PATCH] fix compile 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..401f5583a 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.data(); }
     }; // end of the permutation class
 
 #ifdef LEAN_DEBUG