diff --git a/src/util/ref_vector.h b/src/util/ref_vector.h index f45b44dae..d0a17116a 100644 --- a/src/util/ref_vector.h +++ b/src/util/ref_vector.h @@ -321,6 +321,8 @@ public: return result; } +#if 0 + // TBD: not sure why some compilers complain here. ref_vector& filter_update(std::function& predicate) { unsigned j = 0; for (auto& t : *this) @@ -329,6 +331,7 @@ public: shrink(j); return *this; } +#endif template vector mapv_pure(std::function& f) const {