From b3f00a827bcdd0fe406ccf8913cc5fb7cd6e0f2f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 7 May 2019 18:38:54 +0200
Subject: Promote shift and subst_shift to traits

---
 dhall/src/phase/normalize.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dhall/src/phase/normalize.rs')

diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs
index 5dfcfb6..e9fc570 100644
--- a/dhall/src/phase/normalize.rs
+++ b/dhall/src/phase/normalize.rs
@@ -5,6 +5,7 @@ use dhall_syntax::{BinOp, Builtin, ExprF, InterpolatedTextContents, Label, X};
 use crate::core::context::NormalizationContext;
 use crate::core::thunk::{Thunk, TypeThunk};
 use crate::core::value::Value;
+use crate::core::var::Subst;
 use crate::phase::{NormalizedSubExpr, ResolvedSubExpr, Typed};
 
 pub(crate) type InputSubExpr = ResolvedSubExpr;
-- 
cgit v1.2.3