luke
/
klayout
mirror of https://github.com/KLayout/klayout.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #483 from KLayout/issue-481 

Fixed issue #481 (duplicate DRC markers)
This commit is contained in:
Matthias Köfferlein 2020-01-28 23:48:33 +01:00 committed by GitHub
parent 607cdbd71b b1716fc8c4
commit aba55148db
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/db/db/dbBoxScanner.h
View File

@ -424,6 +424,7 @@ private:
for (iterator_type j = c; j < i; ++j) {
if (bs_boxes_overlap (bc (*i->first), bc (*j->first), enl)) {
if (seen.insert (std::make_pair (i->first, j->first)).second) {
seen.insert (std::make_pair (j->first, i->first));
rec.add (i->first, i->second, j->first, j->second);
if (rec.stop ()) {
return false;