Fix brief description
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/library/bignum_core.h b/library/bignum_core.h
index 4ba1433..56a3bf8 100644
--- a/library/bignum_core.h
+++ b/library/bignum_core.h
@@ -262,7 +262,7 @@
unsigned char *output,
size_t output_length );
-/** \brief Shift a machine integer right by a number of bits.
+/** \brief Shift an MPI right in place by a number of bits.
*
* Shifting by more bits than there are bit positions
* in \p X is valid and results in setting \p X to 0.