From fecd354b273ada522c54cf1ddc3a376a3cff2d24 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 14 Aug 2021 01:24:30 -0700
Subject: [PATCH] access

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 ea0cf76fe..61bbf3cac 100644
--- a/src/math/simplex/sparse_matrix.h
+++ b/src/math/simplex/sparse_matrix.h
@@ -32,7 +32,6 @@ namespace simplex {
         typedef typename Ext::manager manager;
         typedef unsigned var_t;
 
-        struct column;
 
         class row_entry {
             friend class sparse_matrix;
@@ -45,6 +44,7 @@ namespace simplex {
         };
 
     private:
+        struct column;
         
         struct stats {
             unsigned m_add_rows;