mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-17 19:36:17 +00:00
Code Activity

Merge pull request #796 from rickyz/nondependent_name

Browse source 
Fix GCC/Clang compilation.
This commit is contained in:
Nikolaj Bjorner 2016-11-20 06:29:37 -08:00 • committed by GitHub
commit d3fe015ff5
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/max_cliques.h
View file

@ -24,6 +24,8 @@ Notes:
template<class T> template<class T>
class max_cliques : public T { class max_cliques : public T {
using T::negate;
vector<unsigned_vector> m_next, m_tc; vector<unsigned_vector> m_next, m_tc;
uint_set m_reachable[2]; uint_set m_reachable[2];
uint_set m_seen1, m_seen2; uint_set m_seen1, m_seen2;