From 1c5204d0aaa2124a0afd10750a7a4ad5c4b15004 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Fri, 15 Jul 2016 11:52:59 +0200 Subject: [PATCH] work around incorrect key-type in property maps --- Property_map/include/CGAL/property_map.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Property_map/include/CGAL/property_map.h b/Property_map/include/CGAL/property_map.h index 93b933d28a7..2c591bb5a87 100644 --- a/Property_map/include/CGAL/property_map.h +++ b/Property_map/include/CGAL/property_map.h @@ -281,8 +281,9 @@ struct Property_map_to_unary_function{ : map(m) {} + template result_type - operator()(const argument_type& a) const + operator()(KeyType a) const { return get(map,a); }