From c01d9d0445b5efa6ac0488667919fa51384d852e Mon Sep 17 00:00:00 2001 From: diogo464 Date: Wed, 28 Jun 2023 08:57:55 +0100 Subject: fix: updated drain_filter api to new extract_if --- src/main.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/main.rs') diff --git a/src/main.rs b/src/main.rs index f035a45..383de31 100644 --- a/src/main.rs +++ b/src/main.rs @@ -1,4 +1,4 @@ -#![feature(drain_filter)] +#![feature(extract_if)] #![feature(io_error_other)] pub mod dotup; -- cgit