From 673a580e11d31356bec25d73213b283685fd6ea3 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 19:49:03 +0000
Subject: Clarify normalization to ensure we only nze once

---
 dhall/src/semantics/nze/env.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/src/semantics/nze/env.rs')

diff --git a/dhall/src/semantics/nze/env.rs b/dhall/src/semantics/nze/env.rs
index a083076..073886e 100644
--- a/dhall/src/semantics/nze/env.rs
+++ b/dhall/src/semantics/nze/env.rs
@@ -62,7 +62,7 @@ impl NzEnv {
     pub fn lookup_val(&self, var: &AlphaVar) -> Value {
         let idx = self.items.len() - 1 - var.idx();
         match &self.items[idx] {
-            NzEnvItem::Kept(ty) => Value::from_kind_and_type_whnf(
+            NzEnvItem::Kept(ty) => Value::from_kind_and_type(
                 ValueKind::Var(NzVar::new(idx)),
                 ty.clone(),
             ),
-- 
cgit v1.2.3