From f055754381d17d987664a5df3d3507c610d0f7cd Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 21:32:20 +0100
Subject: Merge dhall_normalize back into dhall; that was unnecessary

---
 dhall/src/main.rs | 1 -
 1 file changed, 1 deletion(-)

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

diff --git a/dhall/src/main.rs b/dhall/src/main.rs
index 182f4a7..3e8aca4 100644
--- a/dhall/src/main.rs
+++ b/dhall/src/main.rs
@@ -4,7 +4,6 @@ use term_painter::ToStyle;
 
 use dhall::*;
 use dhall_core::*;
-use dhall_normalize::*;
 
 const ERROR_STYLE: term_painter::Color = term_painter::Color::Red;
 const BOLD: term_painter::Attr = term_painter::Attr::Bold;
-- 
cgit v1.2.3