From 8cb3046e0920bf24d66c578b1a2b184c741b73fe Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 7 May 2019 18:23:07 +0200
Subject: Move AlphaVar and AlphaLabel into a new module

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

(limited to 'dhall/src/core/thunk.rs')

diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs
index 2b013bb..14ef710 100644
--- a/dhall/src/core/thunk.rs
+++ b/dhall/src/core/thunk.rs
@@ -3,7 +3,8 @@ use std::rc::Rc;
 
 use crate::core::context::NormalizationContext;
 use crate::core::context::TypecheckContext;
-use crate::core::value::{AlphaVar, Value};
+use crate::core::value::Value;
+use crate::core::var::AlphaVar;
 use crate::error::TypeError;
 use crate::phase::normalize::{
     apply_any, normalize_whnf, InputSubExpr, OutputSubExpr,
-- 
cgit v1.2.3