diff options
| author | Nadrieril | 2019-03-15 23:45:50 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-15 23:45:50 +0100 |
| commit | 4f2c27bc1ca8c2147fa8e9292c6cec04ab8d0984 (patch) | |
| tree | ce4c93177f70c492c9a842c3e26d4f6390319d60 /dhall/src/lib.rs | |
| parent | 22aa5de3fb5836daf066add3e128173bbd396003 (diff) | |
Get rid of box patterns
Closes #27
Diffstat (limited to 'dhall/src/lib.rs')
| -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 f976c65..d8ca955 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,4 +1,3 @@ -#![feature(box_patterns)] #![feature(trace_macros)] #![feature(proc_macro_hygiene)] #![feature(slice_patterns)] |