NArith: deprecate N2Bv_gen

Use N2Bv_sized instead.

1 files changed, 1 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 5d1c9a9c2d..74714a2e83 100644
--- a/CHANGES
+++ b/CHANGES
@@ -64,6 +64,7 @@ Standard Library
   want).
 
 - Added `Ndigits.N2Bv_sized`, and proved some lemmas about it.
+  Deprecated `Ndigits.N2Bv_gen`.
 
 - The scopes `int_scope` and `uint_scope` have been renamed to
   `dec_int_scope` and `dec_uint_scope`, to clash less with ssreflect