[PATCH 2/5] bitset: making debug traces more useful

[Akim Demaille]

* lib/bitset.c (bitset_print): Print the bitset type in verbose node.
---
 ChangeLog    | 3 +++
 lib/bitset.c | 5 +++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index f25a948eb..3e3e78ed3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2020-11-15  Akim Demaille  <akim@lrde.epita.fr>
 
+       bitset: making debug traces more useful
+       * lib/bitset.c (bitset_print): Print the bitset type in verbose node.
+
        bitset: comment changes
        * lib/bitset.c: Move some documenting comments to...
        * lib/bitset.h: here.
diff --git a/lib/bitset.c b/lib/bitset.c
index 06a47ad64..26d176e18 100644
--- a/lib/bitset.c
+++ b/lib/bitset.c
@@ -271,7 +271,8 @@ static void
 bitset_print (FILE *file, bitset bset, bool verbose)
 {
   if (verbose)
-    fprintf (file, "n_bits = %lu, set = {",
+    fprintf (file, "%s{n_bits = %lu, set = {",
+             bitset_type_name_get (bset),
              (unsigned long) bitset_size (bset));
 
   unsigned pos = 30;
@@ -290,7 +291,7 @@ bitset_print (FILE *file, bitset bset, bool verbose)
   }
 
   if (verbose)
-    fprintf (file, "}\n");
+    fprintf (file, "}}\n");
 }
 
 
-- 
2.29.2