From f7e3f34adfbe3a9ff2adb92fe094ef9dff4c5dbb Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Mon, 13 Dec 2021 02:57:05 -0500 Subject: this is actually pretty unnecessary --- src/util.rs | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 src/util.rs (limited to 'src/util.rs') diff --git a/src/util.rs b/src/util.rs deleted file mode 100644 index d792b91..0000000 --- a/src/util.rs +++ /dev/null @@ -1,5 +0,0 @@ -pub type Mutex = async_std::sync::Arc>; - -pub fn mutex(t: T) -> Mutex { - async_std::sync::Arc::new(async_std::sync::Mutex::new(t)) -} -- cgit v1.2.3-54-g00ecf