From cb9dfc1b9421e9814dac3ba6c78bad0d271f9d67 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 9 Mar 2019 16:24:14 +0100
Subject: Obey clippy lints

Closes #14
---
 dhall_core/src/lib.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dhall_core/src/lib.rs')

diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs
index 386d6bc..86b0363 100644
--- a/dhall_core/src/lib.rs
+++ b/dhall_core/src/lib.rs
@@ -1,5 +1,10 @@
 #![feature(box_patterns)]
 #![feature(trace_macros)]
+#![allow(
+    clippy::many_single_char_names,
+    clippy::should_implement_trait,
+    clippy::new_without_default
+)]
 
 pub mod core;
 pub use crate::core::*;
-- 
cgit v1.2.3