From 4bbcb47239d65893ca6ff6aa8da6266ee5396719 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 24 May 2025 20:19:30 +0200 Subject: [PATCH] fix zulip topic URL --- src/tools/miri/tests/many-seeds/reentrant-lock.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/tests/many-seeds/reentrant-lock.rs b/src/tools/miri/tests/many-seeds/reentrant-lock.rs index 8a363179a9cc..4c2dc463f485 100644 --- a/src/tools/miri/tests/many-seeds/reentrant-lock.rs +++ b/src/tools/miri/tests/many-seeds/reentrant-lock.rs @@ -1,6 +1,6 @@ #![feature(reentrant_lock)] //! This is a regression test for -//! . +//! . use std::cell::Cell; use std::sync::ReentrantLock;