4 files changed, 1 insertions, 5 deletions
diff --git a/src/ortho/mcode/ortho_code-x86-abi.adb b/src/ortho/mcode/ortho_code-x86-abi.adb
index fd543ef2e..2b0d778fa 100644
--- a/src/ortho/mcode/ortho_code-x86-abi.adb
+++ b/src/ortho/mcode/ortho_code-x86-abi.adb
@@ -24,7 +24,6 @@ with Ortho_Code.Debug;
 with Ortho_Code.Disps;
 with Ortho_Code.Flags;
 with Ortho_Code.Dwarf;
-with Ortho_Code.X86; use Ortho_Code.X86;
 with Ortho_Code.X86.Insns;
 with Ortho_Code.X86.Emits;
 with Binary_File;
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
diff --git a/src/vhdl/translate/trans-rtis.adb b/src/vhdl/translate/trans-rtis.adb
index 8f658ae39..eeddad578 100644
--- a/src/vhdl/translate/trans-rtis.adb
+++ b/src/vhdl/translate/trans-rtis.adb
@@ -21,7 +21,7 @@ with Vhdl.Utils; use Vhdl.Utils;
 with Vhdl.Configuration;
 with Libraries;
 with Trans.Chap7;
-with Trans; use Trans.Helpers;
+use Trans.Helpers;
 with Trans.Helpers2; use Trans.Helpers2;
 
 package body Trans.Rtis is