Bypass spurious clippy issue

model-checking · Nov 7, 2023 · 632aee9 · 632aee9
1 parent 5e718a1
commit 632aee9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/bookrunner/librustdoc/lib.rs b/tools/bookrunner/librustdoc/lib.rs
@@ -17,7 +17,7 @@
 #![feature(iter_intersperse)]
 #![recursion_limit = "256"]
 #![warn(rustc::internal)]
-#![allow(clippy::collapsible_if, clippy::collapsible_else_if)]
+#![allow(clippy::collapsible_if, clippy::collapsible_else_if, clippy::arc_with_non_send_sync)]
 
 #[macro_use]
 extern crate tracing;