fix clippy warning

2024-04-20 08:26:42 +02:00 · 2024-04-20 08:26:42 +02:00 · 8e1f18dce8
commit 8e1f18dce8
parent b63bb1b374
1 changed files with 0 additions and 1 deletions
--- a/src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs
+++ b/src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs
@ -2,7 +2,6 @@
 //! (These are used in Tree Borrows `#[test]`s for thorough verification
 //! of the behavior of the state machine of permissions,
 //! but the contents of this file are extremely generic)
-#![cfg(test)]

 pub trait Exhaustive: Sized {
    fn exhaustive() -> Box<dyn Iterator<Item = Self>>;