From a9fce6d2d0528c9d8cf6390c3e00a3a6099687ce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Fri, 18 Dec 2020 22:53:45 +0100
Subject: [PATCH] allow clippy::filter_map

---
 clippy_dev/src/crater.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/clippy_dev/src/crater.rs b/clippy_dev/src/crater.rs
index eb301159a7b..631499395df 100644
--- a/clippy_dev/src/crater.rs
+++ b/clippy_dev/src/crater.rs
@@ -1,6 +1,9 @@
+#![allow(clippy::filter_map)]
+
 use crate::clippy_project_root;
 use std::path::PathBuf;
 use std::process::Command;
+
 // represents an archive we download from crates.io
 #[derive(Debug)]
 struct KrateSource {