From 9939d07827e02ee62a00bbfe7f28742cb3c23767 Mon Sep 17 00:00:00 2001
From: Ricky Zhou <ricky@rzhou.org>
Date: Sun, 20 Nov 2016 05:09:30 -0800
Subject: [PATCH] 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.
---
 src/util/max_cliques.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/util/max_cliques.h b/src/util/max_cliques.h
index e8493a9b9..2410c1817 100644
--- a/src/util/max_cliques.h
+++ b/src/util/max_cliques.h
@@ -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;