From 1ea6fe55eea2f1448f897e2a2805f7e0a1daac9b Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Nov 2019 17:30:45 +0000
Subject: typo

---
 dhall/src/phase/typecheck.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dhall')

diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index 265a20e..ef8340d 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -768,8 +768,8 @@ fn type_last_layer(
         ToMap(_, _) => unimplemented!("toMap"),
         Projection(record, labels) => {
             let record_type = record.get_type()?;
-            let record_borrow = record_type.as_whnf();
-            let kts = match &*record_borrow {
+            let record_type_borrow = record_type.as_whnf();
+            let kts = match &*record_type_borrow {
                 ValueF::RecordType(kts) => kts,
                 _ => return mkerr(ProjectionMustBeRecord),
             };
-- 
cgit v1.2.3