Merge pull request #413 from KLayout/issue-408

Fixed issue #408 (internal error after EdgePairs#polygon)
This commit is contained in:
Matthias Köfferlein 2019-11-22 23:11:05 +01:00 committed by GitHub
commit 319c73e6c0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -251,7 +251,7 @@ RegionDelegate *DeepEdgePairs::polygons (db::Coord e) const
for (db::Shapes::shape_iterator s = c->shapes (m_deep_layer.layer ()).begin (db::ShapeIterator::EdgePairs); ! s.at_end (); ++s) {
db::Polygon poly = s->edge_pair ().normalized ().to_polygon (e);
if (poly.vertices () >= 3) {
output.insert (poly);
output.insert (db::PolygonRef (poly, layout.shape_repository ()));
}
}
}