From 5e2dbc71ba37514e7ea08dd8e75436d29125a02a Mon Sep 17 00:00:00 2001 From: Guillaume Damiand Date: Fri, 27 Mar 2020 19:24:33 +0100 Subject: [PATCH] Bugfix in copy for GMap. --- Generalized_map/include/CGAL/Generalized_map.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Generalized_map/include/CGAL/Generalized_map.h b/Generalized_map/include/CGAL/Generalized_map.h index 3b99c7160cc..2812bc75583 100644 --- a/Generalized_map/include/CGAL/Generalized_map.h +++ b/Generalized_map/include/CGAL/Generalized_map.h @@ -397,7 +397,7 @@ namespace CGAL { typename Storage2, typename Converters> Generalized_map_base(const Generalized_map_base& amap, const Converters& converters) - { copy(amap, converters); } + { copy(amap, nullptr, nullptr, converters); } // "Copy constructor" from a map having different type. template & amap, const Converters& converters, const DartInfoConverter& dartinfoconverter) - { copy(amap, converters, dartinfoconverter); } + { copy(amap, nullptr, nullptr, converters, dartinfoconverter); } // "Copy constructor" from a map having different type. template