From 60db959ef9bb49065769155494f49cf1b46bb835 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 6 Apr 2020 18:49:36 +0100
Subject: oops

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

(limited to 'dhall/src')

diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs
index 28d08b9..427b39d 100644
--- a/dhall/src/semantics/tck/typecheck.rs
+++ b/dhall/src/semantics/tck/typecheck.rs
@@ -181,7 +181,7 @@ fn type_of_merge(
     let span_err = |msg: &str| mk_span_err(span.clone(), msg);
     use NirKind::{OptionalType, PiClosure, RecordType, UnionType};
 
-    let record_type = scrut.ty();
+    let record_type = record.ty();
     let handlers = match record_type.kind() {
         RecordType(kts) => kts,
         _ => return span_err("Merge1ArgMustBeRecord"),
-- 
cgit v1.2.3