From a661671fdf27fddb9f725ba4a3c3fa908c34cbc2 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Tue, 1 Oct 2024 11:15:16 +0100 Subject: [PATCH] unnecessary change --- Polygon/doc/Polygon/Concepts/GeneralPolygonWithHoles_2.h | 1 - 1 file changed, 1 deletion(-) diff --git a/Polygon/doc/Polygon/Concepts/GeneralPolygonWithHoles_2.h b/Polygon/doc/Polygon/Concepts/GeneralPolygonWithHoles_2.h index 58b3ce765c8..c27e8b4a706 100644 --- a/Polygon/doc/Polygon/Concepts/GeneralPolygonWithHoles_2.h +++ b/Polygon/doc/Polygon/Concepts/GeneralPolygonWithHoles_2.h @@ -85,7 +85,6 @@ Hole_const_iterator holes_end() const; /*! returns the range of holes. */ - const Holes_container& holes() const; /// @}