From 2e02360dc12b55f3811ba58bb17c21514990134c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 12:25:05 +0100
Subject: Split-off normalization into its own crate

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

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

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