diff options
author | Nadrieril | 2020-03-18 16:36:14 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-18 16:36:14 +0000 |
commit | f4c319878c4ee35eb080b28f344ebe8a4fdbe2cb (patch) | |
tree | cabff7f1f00e224553e72b52c0742d5562dbe7f0 /dhall/src | |
parent | 8ab1834a5aef209347f5d11f98a8321fcfd4a5f6 (diff) |
Update to latest pest_consume to remove spurious clippy warning
Diffstat (limited to 'dhall/src')
-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 c0830d4..24e4377 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,6 +1,5 @@ #![doc(html_root_url = "https://docs.rs/dhall/0.4.0")] #![allow( - clippy::int_plus_one, // Comes from pest_consume macro clippy::module_inception, clippy::needless_lifetimes, clippy::useless_format |