diff options
| author | Nadrieril | 2019-04-08 18:23:55 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-08 18:23:55 +0200 |
| commit | 47c0a3ca296a9b775275c2c7118a172b9f0bcc54 (patch) | |
| tree | c84f253528fdbea2f7d14aac1c909ec51c7b3184 /dhall_core/src/lib.rs | |
| parent | 00fa24b851ff6337cf4c5c63f82d95488180a413 (diff) | |
clippy
Diffstat (limited to 'dhall_core/src/lib.rs')
| -rw-r--r-- | dhall_core/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs index 2042b04..9fddd1f 100644 --- a/dhall_core/src/lib.rs +++ b/dhall_core/src/lib.rs @@ -4,7 +4,8 @@ #![allow( clippy::many_single_char_names, clippy::should_implement_trait, - clippy::new_without_default + clippy::new_without_default, + clippy::type_complexity )] mod core; |