mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-14 01:46:15 +00:00
Code Activity

disable C++11 dependency to fix the travis build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-12-05 08:15:23 +05:30
parent 60af4a5820
commit 2770c8f884
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/c++/z3++.h
View file

@ -1536,10 +1536,13 @@ namespace z3 {
m_vector = s.m_vector; m_vector = s.m_vector;
return *this; return *this;
} }
/*
Disabled pending C++98 build upgrade
bool contains(T const& x) const { bool contains(T const& x) const {
for (T y : *this) if (eq(x, y)) return true; for (T y : *this) if (eq(x, y)) return true;
return false; return false;
} }
*/
class iterator { class iterator {
ast_vector_tpl const* m_vector; ast_vector_tpl const* m_vector;