diff options
| author | diogo464 <[email protected]> | 2023-06-28 08:57:55 +0100 |
|---|---|---|
| committer | diogo464 <[email protected]> | 2023-06-28 08:57:55 +0100 |
| commit | c01d9d0445b5efa6ac0488667919fa51384d852e (patch) | |
| tree | 40db8bcc3a846fdaaabc8d50378187fd8c82bf86 /src/main.rs | |
| parent | db1c916010843e10db0162b3d9ffec0af2fae6b2 (diff) | |
fix: updated drain_filter api to new extract_if
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ | |||
| 1 | #![feature(drain_filter)] | 1 | #![feature(extract_if)] |
| 2 | #![feature(io_error_other)] | 2 | #![feature(io_error_other)] |
| 3 | 3 | ||
| 4 | pub mod dotup; | 4 | pub mod dotup; |