From c9af9906de38d83633ed40b3b0328e116c7bdfb8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 5 Dec 2019 22:30:24 +0100
Subject: netlists: add remove_output_gates.

---
 src/synth/netlists-cleanup.ads | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/synth/netlists-cleanup.ads')

diff --git a/src/synth/netlists-cleanup.ads b/src/synth/netlists-cleanup.ads
index 7f373130d..c4c82addf 100644
--- a/src/synth/netlists-cleanup.ads
+++ b/src/synth/netlists-cleanup.ads
@@ -23,4 +23,7 @@ package Netlists.Cleanup is
    --  Their inputs will be deconnected, which can result in new instances
    --  that are also removed.
    procedure Remove_Unconnected_Instances (M : Module);
+
+   --  Remove Id_Output gates.
+   procedure Remove_Output_Gates (M : Module);
 end Netlists.Cleanup;
-- 
cgit v1.2.3