mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-02 20:31:21 +00:00
Code Activity

build errors on shrink

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-19 09:42:10 -08:00
parent 5a825d7ac3
commit 04d709dae1
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/util/ref_vector.h
View file

@ -321,6 +321,8 @@ public:
return result; return result;
} }
#if 0
// TBD: not sure why some compilers complain here.
ref_vector& filter_update(std::function<bool(T)>& predicate) { ref_vector& filter_update(std::function<bool(T)>& predicate) {
unsigned j = 0; unsigned j = 0;
for (auto& t : *this) for (auto& t : *this)
@ -329,6 +331,7 @@ public:
shrink(j); shrink(j);
return *this; return *this;
} }
#endif
template <typename S> template <typename S>
vector<S> mapv_pure(std::function<S(T)>& f) const { vector<S> mapv_pure(std::function<S(T)>& f) const {