From f8376c8bcc844bf62b7f9939e66e3e40c3deae51 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Sun, 9 Jul 2017 06:59:23 +0200 Subject: [PATCH] remove unused typedef --- BGL/include/CGAL/boost/graph/io.h | 1 - 1 file changed, 1 deletion(-) diff --git a/BGL/include/CGAL/boost/graph/io.h b/BGL/include/CGAL/boost/graph/io.h index 80c6bcf7106..4bf5a520912 100644 --- a/BGL/include/CGAL/boost/graph/io.h +++ b/BGL/include/CGAL/boost/graph/io.h @@ -129,7 +129,6 @@ bool read_off(std::istream& is, using namespace internal::read_off_tools; typedef typename boost::graph_traits::vertex_descriptor vertex_descriptor; - typedef typename boost::graph_traits::face_descriptor face_descriptor; typedef typename boost::graph_traits::vertices_size_type vertices_size_type; typedef typename boost::graph_traits::faces_size_type faces_size_type;