diff options
author | Nadrieril Feneanar | 2019-09-20 21:12:57 +0200 |
---|---|---|
committer | GitHub | 2019-09-20 21:12:57 +0200 |
commit | e5bba4a0d148c647ff9c1a372a6470b3b3bfdc6e (patch) | |
tree | 45e5d0c715b9db8c1b30a019a6c971a7340c5117 /dhall_syntax/src/lib.rs | |
parent | 4424d3ece5db10527ae446a685a579ae768ef943 (diff) | |
parent | 4daead27eb65e3a38869924f0f3ed1f425de1b33 (diff) |
Merge branch 'master' into fintan/canonicalize
Diffstat (limited to 'dhall_syntax/src/lib.rs')
-rw-r--r-- | dhall_syntax/src/lib.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall_syntax/src/lib.rs b/dhall_syntax/src/lib.rs index 95f40c2..b8fa19f 100644 --- a/dhall_syntax/src/lib.rs +++ b/dhall_syntax/src/lib.rs @@ -1,7 +1,5 @@ #![feature(trace_macros)] -#![feature(slice_patterns)] #![feature(never_type)] -#![feature(proc_macro_hygiene)] #![allow( clippy::many_single_char_names, clippy::should_implement_trait, |