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/src/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dhall/src/main.rs')

diff --git a/dhall/src/main.rs b/dhall/src/main.rs
index edc6baf..3328d99 100644
--- a/dhall/src/main.rs
+++ b/dhall/src/main.rs
@@ -28,7 +28,7 @@ fn print_error(message: &str, source: &str, start: usize, end: usize) {
     BOLD.with(|| {
         print!("  -->");
     });
-    println!(" {}:{}:0", "(stdin)", line_number);
+    println!(" (stdin):{}:0", line_number);
     BOLD.with(|| {
         println!("{:w$} |", "", w = line_number_width);
         print!("{} |", line_number_str);
@@ -88,6 +88,6 @@ fn main() {
     };
 
     println!("{}", type_expr);
-    println!("");
+    println!();
     println!("{}", normalize::<_, X, _>(&expr));
 }
-- 
cgit v1.2.3