From 8a0dec1a4b2d05e04e12accac0540f1ca765d521 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 30 Nov 2023 14:08:29 -0800
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/dependency.h | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/util/dependency.h b/src/util/dependency.h
index a76d43f889e..6094cc555fc 100644
--- a/src/util/dependency.h
+++ b/src/util/dependency.h
@@ -100,7 +100,7 @@ class dependency_manager {
 
     value_manager &         m_vmanager;
     allocator  &            m_allocator;
-    ptr_vector<dependency>  m_todo;
+    mutable ptr_vector<dependency>  m_todo;
 
     void inc_ref(value const & v) {
         if (C::ref_count)
@@ -138,7 +138,7 @@ class dependency_manager {
         }
     }
 
-    void unmark_todo() {
+    void unmark_todo() const {
         for (auto* d : m_todo) 
             d->unmark();
         m_todo.reset();
@@ -224,7 +224,7 @@ class dependency_manager {
 
 
 
-    void linearize(dependency * d, vector<value, false> & vs) {
+    void linearize(dependency * d, vector<value, false> & vs) const {
         if (!d) 
             return;
         SASSERT(m_todo.empty());
@@ -234,7 +234,7 @@ class dependency_manager {
         m_todo.reset();
     }
 
-    void linearize(ptr_vector<dependency>& deps, vector<value, false> & vs) {
+    void linearize(ptr_vector<dependency>& deps, vector<value, false> & vs) const {
         if (deps.empty())
             return;
         SASSERT(m_todo.empty());
@@ -329,7 +329,7 @@ class scoped_dependency_manager {
         return m_dep_manager.contains(d, v); 
     }
 
-    void linearize(dependency * d, vector<value, false> & vs) {
+    void linearize(dependency * d, vector<value, false> & vs) const {
         return m_dep_manager.linearize(d, vs);
     }    
 
@@ -338,7 +338,7 @@ class scoped_dependency_manager {
         return vs;
     }
 
-    void linearize(ptr_vector<dependency>& d, vector<value, false> & vs) {
+    void linearize(ptr_vector<dependency>& d, vector<value, false> & vs) const {
         return m_dep_manager.linearize(d, vs);
     }    
     
@@ -440,4 +440,4 @@ class stacked_dependency_manager {
     void linearize(ptr_vector<dependency>& d, vector<value, false>& vs) {
         return m_dep_manager.linearize(d, vs);
     }
-};
\ No newline at end of file
+};