diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/typecheck.rs | 3 |
1 files changed, 2 insertions, 1 deletions
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::*; |