From 7019fa2f2fabe5ee54c4ae192a8a960839430bc4 Mon Sep 17 00:00:00 2001
From: Daniel Sanchez Quiros <sanchez.quiros.daniel@gmail.com>
Date: Fri, 8 Nov 2024 11:09:22 +0700
Subject: [PATCH] Clippy happy

---
 simlib/mixnet-sims/src/node/mix/state.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/simlib/mixnet-sims/src/node/mix/state.rs b/simlib/mixnet-sims/src/node/mix/state.rs
index 644b011..ced1420 100644
--- a/simlib/mixnet-sims/src/node/mix/state.rs
+++ b/simlib/mixnet-sims/src/node/mix/state.rs
@@ -21,6 +21,7 @@ pub struct MixnodeState {
 pub enum MixnodeRecord {
     Runtime(Runtime),
     Settings(Box<SimulationSettings>),
+    #[allow(clippy::vec_box)] // we downcast stuff and we need the extra boxing
     Data(Vec<Box<MixnodeState>>),
 }