diff options
author | Nadrieril | 2021-04-03 15:22:44 +0100 |
---|---|---|
committer | Nadrieril | 2021-04-03 15:22:44 +0100 |
commit | 87304eecb75a957c4df411e7961a19208bddd525 (patch) | |
tree | b68d09c5d5c7b5c044c6da2c0dd35dc622608213 | |
parent | 527194222bbdcf559cfec3aac9b43c9ea05c2d6e (diff) |
fix: fix formatting
-rw-r--r-- | dhall/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index fb35b75..d773270 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -8,7 +8,7 @@ clippy::try_err, clippy::unnecessary_wraps, clippy::useless_format, - clippy::needless_question_mark, + clippy::needless_question_mark )] pub mod builtins; |