From 697b637205990e6ca87e4a08077a079846bb4206 Mon Sep 17 00:00:00 2001 From: Alain Emilia Anna Zscheile Date: Tue, 1 Oct 2024 23:39:36 +0200 Subject: [PATCH] chore: fix clippy error by temporarily allowing it --- src/drawing/band.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/drawing/band.rs b/src/drawing/band.rs index c7bfa66..1dc0d81 100644 --- a/src/drawing/band.rs +++ b/src/drawing/band.rs @@ -1,3 +1,6 @@ +// FIXME (implement Hash for BandUid and such) +#![allow(clippy::derived_hash_with_manual_eq)] + use enum_dispatch::enum_dispatch; use petgraph::stable_graph::NodeIndex;