mirror of https://github.com/KLayout/klayout.git
DRC bugfix
This commit is contained in:
parent
7f3950f582
commit
c28fd425db
|
|
@ -2656,7 +2656,7 @@ CODE
|
||||||
self.log(fmt % info)
|
self.log(fmt % info)
|
||||||
n += 1
|
n += 1
|
||||||
if @profile_n > 0 && n > @profile_n
|
if @profile_n > 0 && n > @profile_n
|
||||||
self.log("... (%d entries skipped)" % (pi.size - nmax))
|
self.log("... (%d entries skipped)" % (pi.size - @profile_n))
|
||||||
break
|
break
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
@ -2669,7 +2669,7 @@ CODE
|
||||||
self.log(fmt % info)
|
self.log(fmt % info)
|
||||||
n += 1
|
n += 1
|
||||||
if @profile_n > 0 && n > @profile_n
|
if @profile_n > 0 && n > @profile_n
|
||||||
self.log("... (%d entries skipped)" % (pi.size - nmax))
|
self.log("... (%d entries skipped)" % (pi.size - @profile_n))
|
||||||
break
|
break
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue