mirror of
https://github.com/Z3Prover/z3
synced 2025-04-11 03:33:35 +00:00
Fix GCC/Clang compilation.
The calls to negate use a non-dependent name, so GCC and Clang do not examine dependent base classes when looking up the name. Adds a using declaration as suggested at https://isocpp.org/wiki/faq/templates#nondependent-name-lookup-members.
This commit is contained in:
parent
6a9b5ea3af
commit
9939d07827
|
@ -24,6 +24,8 @@ Notes:
|
|||
|
||||
template<class T>
|
||||
class max_cliques : public T {
|
||||
using T::negate;
|
||||
|
||||
vector<unsigned_vector> m_next, m_tc;
|
||||
uint_set m_reachable[2];
|
||||
uint_set m_seen1, m_seen2;
|
||||
|
|
Loading…
Reference in a new issue