Merge pull request #63 from akashlevy/report_disabled_edges_redirect

`proc_redirect report_disabled_edges`
This commit is contained in:
James Cherry 2024-07-31 09:26:03 -07:00 committed by GitHub
commit 133c5e6223
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -230,7 +230,7 @@ proc report_pin_constant { pin } {
################################################################
proc report_disabled_edges {} {
proc_redirect report_disabled_edges {
foreach edge [disabled_edges_sorted] {
if { [$edge role] == "wire" } {
set from_pin_name [get_full_name [[$edge from] pin]]