* 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 <a...@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