From f2d6415e72beaccfa2c4cb1f7a17f9eecc19d8a5 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 20:25:55 +0100
Subject: rustfmt

---
 dhall/src/typecheck.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall')

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index aa8aa08..8cab0ac 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -10,7 +10,7 @@ use dhall_core::core::Const::*;
 use dhall_core::core::Expr::*;
 use dhall_core::core::{app, pi};
 use dhall_core::core::{bx, shift, subst, Expr, V, X};
-use dhall_normalize::{normalize};
+use dhall_normalize::normalize;
 
 use self::TypeMessage::*;
 
-- 
cgit v1.2.3