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_core/src | |
parent | 22aa5de3fb5836daf066add3e128173bbd396003 (diff) |
Get rid of box patterns
Closes #27
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/lib.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs index 86b0363..c728a75 100644 --- a/dhall_core/src/lib.rs +++ b/dhall_core/src/lib.rs @@ -1,4 +1,3 @@ -#![feature(box_patterns)] #![feature(trace_macros)] #![allow( clippy::many_single_char_names, |