build errors on shrink

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Nov 19, 2018 · 04d709d · 04d709d
1 parent 5a825d7
commit 04d709d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/util/ref_vector.h b/src/util/ref_vector.h
@@ -321,6 +321,8 @@ class ref_vector : public ref_vector_core<T, ref_manager_wrapper<T, TManager> >
         return result;
     }
 
+#if 0
+    // TBD: not sure why some compilers complain here.
     ref_vector& filter_update(std::function<bool(T)>& predicate) {
         unsigned j = 0;
         for (auto& t : *this)
@@ -329,6 +331,7 @@ class ref_vector : public ref_vector_core<T, ref_manager_wrapper<T, TManager> >
         shrink(j);
         return *this;
     }
+#endif
 
     template <typename S>
     vector<S> mapv_pure(std::function<S(T)>& f) const {