From 15a19993ccc9e5a76a98ae38501bfd66726b411f Mon Sep 17 00:00:00 2001 From: hongmengning Date: Thu, 12 Sep 2024 15:34:14 +0800 Subject: [PATCH] chore(rt): delete the unnessary symbol in the comments --- 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,