aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth')
-rw-r--r--src/synth/netlists-disp_dot.ads2
-rw-r--r--src/synth/netlists-inference.ads1
2 files changed, 0 insertions, 3 deletions
diff --git a/src/synth/netlists-disp_dot.ads b/src/synth/netlists-disp_dot.ads
index 416554c76..01f07d41e 100644
--- a/src/synth/netlists-disp_dot.ads
+++ b/src/synth/netlists-disp_dot.ads
@@ -16,8 +16,6 @@
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <gnu.org/licenses>.
-with Netlists;
-
package Netlists.Disp_Dot is
procedure Disp_Dot_Top_Module (M : Module);
end Netlists.Disp_Dot;
diff --git a/src/synth/netlists-inference.ads b/src/synth/netlists-inference.ads
index ae671a0ac..8a6aef2f3 100644
--- a/src/synth/netlists-inference.ads
+++ b/src/synth/netlists-inference.ads
@@ -16,7 +16,6 @@
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <gnu.org/licenses>.
-with Netlists; use Netlists;
with Netlists.Builders; use Netlists.Builders;
package Netlists.Inference is