diff --git a/KnownState.h b/KnownState.h
index d49b35a61..6dff74a5a 100644
--- a/KnownState.h
+++ b/KnownState.h
@@ -31,7 +31,7 @@
 #include <ostream>
 #pragma warning(push)
 #pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wredeclared-class-member"
+#pragma clang diagnostic ignored "-Wredeclared-class-member"
 #include <boost/bimap.hpp>
 #pragma warning(pop)
 #pragma GCC diagnostic pop