typo

1 files changed, 2 insertions, 2 deletions

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),
             };