aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-dump.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/netlists-dump.adb')
-rw-r--r--src/synth/netlists-dump.adb21
1 files changed, 1 insertions, 20 deletions
diff --git a/src/synth/netlists-dump.adb b/src/synth/netlists-dump.adb
index 6a421805b..841c5d831 100644
--- a/src/synth/netlists-dump.adb
+++ b/src/synth/netlists-dump.adb
@@ -19,6 +19,7 @@
-- MA 02110-1301, USA.
with Simple_IO; use Simple_IO;
+with Utils_IO; use Utils_IO;
with Name_Table;
with Files_Map;
@@ -28,26 +29,6 @@ with Netlists.Gates; use Netlists.Gates;
with Netlists.Locations;
package body Netlists.Dump is
- procedure Put_Indent (Indent : Natural) is
- begin
- Put (String'(1 .. Indent * 2 => ' '));
- end Put_Indent;
-
- -- Like Put, but without the leading space (if any).
- procedure Put_Trim (S : String) is
- begin
- if S'First <= S'Last and then S (S'First) = ' ' then
- Put (S (S'First + 1 .. S'Last));
- else
- Put (S);
- end if;
- end Put_Trim;
-
- procedure Put_Uns32 (V : Uns32) is
- begin
- Put_Trim (Uns32'Image (V));
- end Put_Uns32;
-
procedure Put_Width (W : Width) is
begin
Put_Trim (Width'Image (W));