From 50fd54b5f1a3dba38946c20a0642909494b3b0c4 Mon Sep 17 00:00:00 2001
From: Guillaume Damiand <guillaume.damiand@liris.cnrs.fr>
Date: Thu, 13 Jun 2013 14:53:04 +0200
Subject: [PATCH] Patch for compiler gcc4.3

(Sebastien is the best, even it is not fair because I don't have access to the compiler. But I will pay my beer ;)
---
 .../Combinatorial_map_internal_functors.h     | 24 ++++---------------
 1 file changed, 5 insertions(+), 19 deletions(-)

diff --git a/Combinatorial_map/include/CGAL/internal/Combinatorial_map_internal_functors.h b/Combinatorial_map/include/CGAL/internal/Combinatorial_map_internal_functors.h
index 9457fb1e608..6f4e5b923f9 100644
--- a/Combinatorial_map/include/CGAL/internal/Combinatorial_map_internal_functors.h
+++ b/Combinatorial_map/include/CGAL/internal/Combinatorial_map_internal_functors.h
@@ -25,6 +25,7 @@
 #include <CGAL/Dimension.h>
 #include <CGAL/Kernel_traits.h>
 #include <vector>
+#include <boost/mpl/has_xxx.hpp>
 
 /* Definition of functors used internally to manage attributes (we need
  * functors as attributes are stored in tuple, thus all the access must be
@@ -611,13 +612,7 @@ struct Is_same_attribute_point_functor<Map1, Map2, T1, T2, false, false, i>
   { return true; }
 };
 // ****************************************************************************
-struct twochar{ char dummy[2]; };
-
-template<typename T>
-static char has_point(typename T::Point*);
-
-template<typename T>
-static twochar has_point(...);
+BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(Has_point,Point,false)
 
 template<typename Attr, typename Info=typename Attr::Info>
 struct Is_nonvoid_attribute_has_non_void_info
@@ -640,19 +635,10 @@ struct Is_attribute_has_non_void_info<CGAL::Void>
 {
   static const bool value=false;
 };
-
-
-template<typename Attr, bool withpoint=
-         sizeof(has_point<Attr>(NULL))==sizeof(char)>
-struct Is_attribute_has_point
-{
-  static const bool value=true;
-};
+// ****************************************************************************
 template<typename Attr>
-struct Is_attribute_has_point<Attr, false>
-{
-  static const bool value=false;
-};
+struct Is_attribute_has_point
+{ static const bool value=Has_point<Attr>::value; };
 // ****************************************************************************
 /// Test if the two darts are associated with the same attribute.
 template<typename Map1, typename Map2>