summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-03-18 18:28:35 +0000
committerGitHub2020-03-18 18:28:35 +0000
commit040c0cb1b4f14b640d881330cb5dfc27e5a2310a (patch)
treecabff7f1f00e224553e72b52c0742d5562dbe7f0 /dhall/src
parent8ab1834a5aef209347f5d11f98a8321fcfd4a5f6 (diff)
parentf4c319878c4ee35eb080b28f344ebe8a4fdbe2cb (diff)
Merge pull request #150 from Nadrieril/update-peco
Update to latest pest_consume to remove spurious clippy warning
Diffstat (limited to '')
-rw-r--r--dhall/src/lib.rs1
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