From f75191ef6e013c4efaa8b68eee93e4de47254db9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 15 Sep 2021 05:40:44 +0200
Subject: synth/netlists-disp_verilog: fix output of parameter values.  For
 #1866

---
 src/synth/netlists-dump.ads | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/synth/netlists-dump.ads')

diff --git a/src/synth/netlists-dump.ads b/src/synth/netlists-dump.ads
index 2fcb429be..48e8a384f 100644
--- a/src/synth/netlists-dump.ads
+++ b/src/synth/netlists-dump.ads
@@ -27,7 +27,13 @@ package Netlists.Dump is
 
    procedure Put_Id (N : Name_Id);
    procedure Disp_Binary_Digits (Va : Uns32; Zx : Uns32; W : Natural);
+
+   --  Display the digits of binary value PV.
+   procedure Disp_Pval_Binary_Digits (Pv : Pval);
+
+   --  Display PV within double quotes.
    procedure Disp_Pval_Binary (Pv : Pval);
+
    procedure Disp_Pval_String (Pv : Pval);
 
    procedure Dump_Name (N : Sname);
-- 
cgit v1.2.3