diff options
| author | cderrien <65495526+cderrien@users.noreply.github.com> | 2022-11-08 08:02:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-08 08:02:18 +0100 |
| commit | 640e4c13fc8bd1fd7a0bfddddf7c851b2b171135 (patch) | |
| tree | c81e3e920ac3b614b04649bdf11d3a22c9fa500d /src | |
| parent | ccee381c7e7a028e61ebfb03dc8e80047a1d6b54 (diff) | |
| download | ghdl-640e4c13fc8bd1fd7a0bfddddf7c851b2b171135.tar.gz ghdl-640e4c13fc8bd1fd7a0bfddddf7c851b2b171135.tar.bz2 ghdl-640e4c13fc8bd1fd7a0bfddddf7c851b2b171135.zip | |
Escape port name in dot output. (#2241)
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/netlists-disp_dot.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/synth/netlists-disp_dot.adb b/src/synth/netlists-disp_dot.adb index 2633096ec..2a8a494d3 100644 --- a/src/synth/netlists-disp_dot.adb +++ b/src/synth/netlists-disp_dot.adb @@ -76,7 +76,7 @@ package body Netlists.Disp_Dot is for Idx in 1 .. Get_Nbr_Inputs (M) loop Put (" p"); Put_Uns32 (Uns32 (Idx - 1)); - Put (" [label="""); + Put (" [label=""" & "\"); Dump_Name (Get_Input_Desc (M, Idx - 1).Name); Put ("""];"); New_Line; |