diff options
author | Nadrieril Feneanar | 2020-03-18 00:01:11 +0000 |
---|---|---|
committer | GitHub | 2020-03-18 00:01:11 +0000 |
commit | f42ab8acdaa4dee753b7daccfed1ca3c8738095a (patch) | |
tree | 9fba7dd6d865884c0651af2dd7e01b243a0f25f0 /dhall/src/lib.rs | |
parent | 71fddc59b5b427f52dd2f0cd76f788eb995a4e2e (diff) | |
parent | 40441abd2d6c2938244fa1bb2ca26ee9b8e4ab27 (diff) |
Merge pull request #146 from Nadrieril/never_never
Use stable toolchain 🎉
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 d7d7f05..058411c 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,5 +1,4 @@ #![doc(html_root_url = "https://docs.rs/dhall/0.3.0")] -#![feature(never_type)] #![allow( clippy::int_plus_one, // Comes from pest_consume macro clippy::module_inception, |