the warning we are trying to work around is new and we need to ignore it on older compiler

2022-07-06 11:22:24 +02:00 · 2022-07-06 11:22:24 +02:00 · ddd0e7dd47
parent f7232499a1
commit ddd0e7dd47
1 changed files with 1 additions and 0 deletions
--- 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