fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

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);
     }
-};
+};