diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2020-02-21 11:58:24 +0100 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2020-02-21 11:58:24 +0100 |
commit | f8c73c29c89557c4ec00f72576e8f4add62e66d7 (patch) | |
tree | 36910421c48ed3152006fbe66233bb79adbe850c /tool | |
parent | a5ca70a2bc89ce7b5c20b1be3c66a04e905b3d47 (diff) |
openpgp: Mark enum Ciphertext as non-exhaustive.
Diffstat (limited to 'tool')
-rw-r--r-- | tool/src/commands/dump.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tool/src/commands/dump.rs b/tool/src/commands/dump.rs index d05263bf..26483865 100644 --- a/tool/src/commands/dump.rs +++ b/tool/src/commands/dump.rs @@ -609,6 +609,7 @@ impl PacketDumper { self.dump_mpis(output, &ii, &[rest], &["rest"])?; }, + mpis::Ciphertext::__Nonexhaustive => unreachable!(), } } }, |