fix accidental use of std::optional (boost:: instead)

This commit is contained in:
Laurent Rineau 2023-06-15 18:07:52 +02:00
parent a4a1e51e02
commit 8207105503
1 changed files with 2 additions and 2 deletions

View File

@ -1208,7 +1208,7 @@ private:
&& edge_has_vertex(e1, e2.first->vertex(e2.third));
}
std::optional<Vertex_handle> shared_vertex(const Edge& e1, const Edge& e2) const
boost::optional<Vertex_handle> shared_vertex(const Edge& e1, const Edge& e2) const
{
Vertex_handle v1a = e1.first->vertex(e1.second);
Vertex_handle v1b = e1.first->vertex(e1.third);
@ -1223,7 +1223,7 @@ private:
return {};
}
std::optional<Facet> shared_facet(const Edge& e1, const Edge& e2) const
boost::optional<Facet> shared_facet(const Edge& e1, const Edge& e2) const
{
Vertex_handle v2a = e2.first->vertex(e2.second);
Vertex_handle v2b = e2.first->vertex(e2.third);