diff options
| author | Nadrieril | 2019-11-11 11:08:36 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-11-11 13:50:36 +0000 |
| commit | 3add00f2f9373da470a43056f7ae5db72081a59b (patch) | |
| tree | 1c7e2504355fafaec0e3530ce90d587582ba1608 /dhall/src | |
| parent | 8287ba2ec69608f8e7e658aa59ec10e3bbea9536 (diff) | |
Update rust toolchain
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/lib.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 9656612..ed4435a 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,6 +1,5 @@ #![feature(trace_macros)] #![feature(slice_patterns)] -#![feature(non_exhaustive)] #![feature(never_type)] #![allow( clippy::type_complexity, |