[COMMITTED] pickles: openpgp: the length in MPI numbers is encoded in

[Jose E. Marchesi]

2022-04-10  Jose E. Marchesi  <jemarch@gnu.org>

        * pickles/openpgp.pk (PGP_MPI): The `len' field is big endian.
---
 ChangeLog          | 4 ++++
 pickles/openpgp.pk | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index e08b6c01..6537a71b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2022-04-10  Jose E. Marchesi  <jemarch@gnu.org>
 
+       * pickles/openpgp.pk (PGP_MPI): The `len' field is big endian.
+
+2022-04-10  Jose E. Marchesi  <jemarch@gnu.org>
+
        * pickles/openpgp.pk (PGP_Packet_Header): Do not print a newline
        in the pretty-printer.
        (PGP_MPI): Likewise.
diff --git a/pickles/openpgp.pk b/pickles/openpgp.pk
index dbc9ee40..7ed62c96 100644
--- a/pickles/openpgp.pk
+++ b/pickles/openpgp.pk
@@ -163,7 +163,7 @@ type PGP_Packet_Header =
 type PGP_MPI =
   struct
   {
-    offset<uint<16>,b> len;
+    big offset<uint<16>,b> len;
     byte[len] num; /* Bytes are stored in big-endian.  */
 
     method _print = void:
-- 
2.11.0