From 5ee640be6c6819a672ba677bd209f272f90667df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Tue, 26 Feb 2019 09:11:07 +0100 Subject: [PATCH] add missing function required by the concept --- BGL/include/CGAL/boost/graph/Face_filtered_graph.h | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/BGL/include/CGAL/boost/graph/Face_filtered_graph.h b/BGL/include/CGAL/boost/graph/Face_filtered_graph.h index ffaedbf181e..38ff5c9814a 100644 --- a/BGL/include/CGAL/boost/graph/Face_filtered_graph.h +++ b/BGL/include/CGAL/boost/graph/Face_filtered_graph.h @@ -650,6 +650,17 @@ degree(typename boost::graph_traits +typename boost::graph_traits::degree_size_type +degree(typename boost::graph_traits >::face_descriptor f, + const Face_filtered_graph& w) +{ + return degree(f, w.graph()); +} + template