From 76dd45bb8abac08540068c69f0cc9492cf032a1b Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 13 Nov 2019 18:57:18 +0100
Subject: netlists-dump: display net width using the wXX format

---
 src/synth/netlists-dump.adb | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/synth/netlists-dump.adb b/src/synth/netlists-dump.adb
index 279b98d2e..6a421805b 100644
--- a/src/synth/netlists-dump.adb
+++ b/src/synth/netlists-dump.adb
@@ -131,6 +131,8 @@ package body Netlists.Dump is
       if With_Id then
          Put ("{n");
          Put_Trim (Net'Image (N));
+         Put ('w');
+         Put_Width (Get_Width (N));
          Put ('}');
       end if;
    end Dump_Net_Name;
@@ -207,8 +209,6 @@ package body Netlists.Dump is
             begin
                if N /= No_Net then
                   Dump_Net_Name (N, True);
-                  Put (':');
-                  Put_Width (Get_Width (N));
                end if;
             end;
             New_Line;
@@ -221,8 +221,6 @@ package body Netlists.Dump is
          for O of Outputs (Inst) loop
             Put (' ');
             Dump_Net_Name (O, True);
-            Put (':');
-            Put_Width (Get_Width (O));
          end loop;
          New_Line;
       end if;
-- 
cgit v1.2.3