From 945c14209d85b85258783a94b161baa593e14912 Mon Sep 17 00:00:00 2001 From: hongmengning Date: Thu, 12 Sep 2024 19:47:14 +0800 Subject: [PATCH] chore(rt): delete the unnessary symbol in the comments (#3753) Co-authored-by: Sean McArthur --- src/rt/timer.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/rt/timer.rs b/src/rt/timer.rs index c486ecc14a..c6a6f1dbc0 100644 --- a/src/rt/timer.rs +++ b/src/rt/timer.rs @@ -57,7 +57,7 @@ //! self.project().inner.as_mut().reset(deadline.into()); //! } //! } -//! ```` +//! ``` use std::{ any::TypeId,