From dbe94c282ecd7aedd6451ec1e66d9fb36b0fb5db Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Fri, 11 Jun 2021 22:44:30 +0200
Subject: [PATCH] Move is_currently_single_threaded to namespace CGAL

---
 Installation/include/CGAL/config.h | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Installation/include/CGAL/config.h b/Installation/include/CGAL/config.h
index 089c7a73e7b..36d5c79fe46 100644
--- a/Installation/include/CGAL/config.h
+++ b/Installation/include/CGAL/config.h
@@ -591,13 +591,13 @@ using std::max;
 #endif
 
 #ifndef CGAL_HAS_THREADS
-inline bool is_currently_single_threaded(){ return true; }
+  namespace CGAL { inline bool is_currently_single_threaded(){ return true; } }
 #elif __has_include(<sys/single_threaded.h>)
-#include <sys/single_threaded.h>
-inline bool is_currently_single_threaded(){ return ::__libc_single_threaded; }
+#  include <sys/single_threaded.h>
+  namespace CGAL { inline bool is_currently_single_threaded(){ return ::__libc_single_threaded; } }
 #else
-/* This is the conservative default */
-inline bool is_currently_single_threaded(){ return false; }
+  /* This is the conservative default */
+  namespace CGAL { inline bool is_currently_single_threaded(){ return false; } }
 #endif
 
 // Support for LEDA with threads