From ddd0e7dd473627a42e9705a87a6f259bdf809739 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Wed, 6 Jul 2022 11:22:24 +0200
Subject: [PATCH] the warning we are trying to work around is new and we need
 to ignore it on older compiler

---
 STL_Extension/include/CGAL/Uncertain.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/STL_Extension/include/CGAL/Uncertain.h b/STL_Extension/include/CGAL/Uncertain.h
index f98a3aa109f..edb9b3b2dca 100644
--- a/STL_Extension/include/CGAL/Uncertain.h
+++ b/STL_Extension/include/CGAL/Uncertain.h
@@ -291,6 +291,7 @@ Uncertain<bool> operator!(Uncertain<bool> a)
 
 #ifdef __GNUC__
 #  pragma GCC diagnostic push
+#  pragma GCC diagnostic ignored "-Wunknown-warning-option"
 #  pragma GCC diagnostic ignored "-Wbitwise-instead-of-logical"
 #endif
 inline