From 964dcb3022ea623f935d05537644e2bdb39e1397 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 31 Mar 2022 02:46:07 +0100
Subject: [PATCH] clippy: Miscellaneous minor changes, and allow lints

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 clippy-options  | 1 +
 src/pcrender.rs | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/clippy-options b/clippy-options
index 708cfece..585dc920 100644
--- a/clippy-options
+++ b/clippy-options
@@ -30,3 +30,4 @@
 -A clippy::if_same_then_else # rust-clippy/issues/6285 etc.
 -A clippy::redundant_pattern_matching
 -A clippy::unnecessary_lazy_evaluations
+-A clippy::map_flatten
diff --git a/src/pcrender.rs b/src/pcrender.rs
index e1141467..a8c6985a 100644
--- a/src/pcrender.rs
+++ b/src/pcrender.rs
@@ -234,7 +234,7 @@ impl PieceRenderInstructions {
       out.push(UoDescription {
         wrc: WRC::UpdateSvg,
         kind: UoKind::Global,
-        def_key: DEFKEY_FLIP.into(),
+        def_key: DEFKEY_FLIP,
         opname: "flip".to_string(),
         desc: Html::lit("flip").into(),
       })
-- 
2.30.2