From a0ac45ccc6bd0168f05626fdf1886560006fcda1 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 9 Mar 2019 15:36:39 +0100
Subject: Use new Label type everywhere

---
 dhall/src/main.rs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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

diff --git a/dhall/src/main.rs b/dhall/src/main.rs
index db69a46..349af3d 100644
--- a/dhall/src/main.rs
+++ b/dhall/src/main.rs
@@ -65,8 +65,7 @@ fn main() {
         }
     };
 
-    let expr: Expr<Label, _, _> =
-        imports::panic_imports(&expr);
+    let expr: Expr<Label, _, _> = imports::panic_imports(&expr);
 
     let type_expr = match typecheck::type_of(&expr) {
         Err(e) => {
@@ -90,5 +89,5 @@ fn main() {
 
     println!("{}", type_expr);
     println!("");
-    println!("{}", normalize::<_, _, X, _>(&expr));
+    println!("{}", normalize::<_, X, _>(&expr));
 }
-- 
cgit v1.2.3