From 7ed47dee678c84eb8ddf7433383eb9e8051b4118 Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Mon, 3 Dec 2018 12:36:30 +0100 Subject: [PATCH] Faceset helper: check whether edge has been created --- src/ifcgeom/IfcGeom.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/ifcgeom/IfcGeom.h b/src/ifcgeom/IfcGeom.h index 3aebe1f66d..19862f3613 100644 --- a/src/ifcgeom/IfcGeom.h +++ b/src/ifcgeom/IfcGeom.h @@ -159,7 +159,11 @@ private: } bool edge(int A, int B, TopoDS_Edge& e) { - e = edges_[{A, B}]; + auto it = edges_.find({A, B}); + if (it == edges_.end()) { + return false; + } + e = it->second; return true; }