From 923bbfba7db651e8f63f37c06abeecc89ca2ed7d Mon Sep 17 00:00:00 2001
From: xiaoziv <xiaozheng@alumni.tongji.edu.cn>
Date: Tue, 4 Apr 2023 10:52:37 +0800
Subject: [PATCH] Update timer.rs

Remove unnecessary path prefix
---
 src/timer.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/timer.rs b/src/timer.rs
index 7530c72d..2bdfb15b 100644
--- a/src/timer.rs
+++ b/src/timer.rs
@@ -51,7 +51,7 @@ pub fn ensure_updater() {
         .compare_exchange(false, true, Ordering::SeqCst, Ordering::SeqCst)
         .is_ok()
     {
-        std::thread::Builder::new()
+        thread::Builder::new()
             .name("time updater".to_owned())
             .spawn(|| loop {
                 thread::sleep(CHECK_UPDATE_INTERVAL);