diff options
Diffstat (limited to 'src/synth/netlists.ads')
| -rw-r--r-- | src/synth/netlists.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/netlists.ads b/src/synth/netlists.ads index c1371c835..5e1146fb1 100644 --- a/src/synth/netlists.ads +++ b/src/synth/netlists.ads @@ -369,6 +369,9 @@ private -- instances. procedure Extract_Instance (Inst : Instance); + -- Remove and free the unconnected instance INST. + procedure Remove_Instance (Inst : Instance); + type Input is new Uns32; No_Input : constant Input := 0; |