diff options
| author | Dario Nieuwenhuis <[email protected]> | 2020-10-31 23:14:09 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2020-10-31 23:14:09 +0100 |
| commit | 2c13e251849fd3e3cf06e2d5363c311ac880c77d (patch) | |
| tree | 8fafcdc293d278adc9a73fda3809490839b1e48a | |
| parent | 7ddfeafc84827b38956e91fa25e7d4d3a7621380 (diff) | |
Fix for latest nightly
| -rw-r--r-- | embassy/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/embassy/src/lib.rs b/embassy/src/lib.rs index 250ef5673..65aabef01 100644 --- a/embassy/src/lib.rs +++ b/embassy/src/lib.rs | |||
| @@ -2,10 +2,11 @@ | |||
| 2 | #![feature(slice_fill)] | 2 | #![feature(slice_fill)] |
| 3 | #![feature(generic_associated_types)] | 3 | #![feature(generic_associated_types)] |
| 4 | #![feature(const_fn)] | 4 | #![feature(const_fn)] |
| 5 | #![feature(const_fn_fn_ptr_basics)] | ||
| 5 | 6 | ||
| 6 | pub mod executor; | 7 | pub mod executor; |
| 7 | pub mod flash; | 8 | pub mod flash; |
| 8 | pub mod io; | 9 | pub mod io; |
| 10 | pub mod rand; | ||
| 9 | pub mod time; | 11 | pub mod time; |
| 10 | pub mod util; | 12 | pub mod util; |
| 11 | pub mod rand; \ No newline at end of file | ||
