chore: make clippy happy

tokio-rs · Mar 28, 2024 · 438eae5 · 438eae5
1 parent fa27a25
commit 438eae5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tokio-console/src/view/mod.rs b/tokio-console/src/view/mod.rs
@@ -69,6 +69,7 @@ pub(crate) enum UpdateKind {
     SelectTask(u64),
     /// The TaskView is exited
     ExitTaskView,
+    #[allow(dead_code)]
     /// A new resource is selected
     SelectResource(u64),
     /// No significant change