diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2020-02-21 11:46:17 +0100 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2020-02-21 11:47:05 +0100 |
commit | ed16289b63cfdede68b5c4b864bd7b5ec37ba42b (patch) | |
tree | b117d9e4b2c813aad92819b4eb0e4dfcea7c8ddf /tool/src/commands | |
parent | 73ddf1d6a8c5c4386d5fc906fe38eb47d7ffcc13 (diff) |
openpgp: Mark enum PublicKey as non-exhaustive.
Diffstat (limited to 'tool/src/commands')
-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 022bfdf4..5128aeda 100644 --- a/tool/src/commands/dump.rs +++ b/tool/src/commands/dump.rs @@ -350,6 +350,7 @@ impl PacketDumper { pd.dump_mpis(output, &ii, &[&rest[..]], &["rest"])?; }, + mpis::PublicKey::__Nonexhaustive => unreachable!(), } if let Some(secrets) = k.optional_secret() { |