mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-27 11:49:01 +00:00
Code Activity

Revert "Made Z3 compile for C++17 with MSVC"

Browse source
This commit is contained in:
Nikolaj Bjorner 2018-10-15 12:52:19 -07:00 • committed by GitHub
parent 4916de874b
commit 6704a4be02
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 6 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/muz/base/dl_rule_set.cpp
View file

@ -696,10 +696,9 @@ namespace datalog {
}
strats_index++;
}
using namespace std::placeholders;
//we have managed to topologicaly order all the components
SASSERT(std::find_if(m_components.begin(), m_components.end(),
std::bind(std::not_equal_to<item_set*>(), (item_set*)0, _1)) == m_components.end());
std::bind1st(std::not_equal_to<item_set*>(), (item_set*)0)) == m_components.end());
//reverse the strats array, so that the only the later components would depend on earlier ones
std::reverse(m_strats.begin(), m_strats.end());