Signed-off-by: James Cherry <cherry@CerezoBook.local>
This commit is contained in:
James Cherry 2026-06-24 17:00:00 -07:00
parent e603b7abe0
commit 7527553111
1 changed files with 3 additions and 0 deletions

View File

@ -536,6 +536,9 @@ TimingArcSet::destroy()
delete wire_timing_arc_set_;
wire_timing_arc_set_ = nullptr;
wire_timing_arc_attrs_ = nullptr;
delete port_refpin_timing_arc_set_;
port_refpin_timing_arc_set_ = nullptr;
}
////////////////////////////////////////////////////////////////