aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-inference.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/netlists-inference.ads')
-rw-r--r--src/synth/netlists-inference.ads1
1 files changed, 0 insertions, 1 deletions
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