summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/src/semantics/tck/typecheck.rs2
1 files changed, 1 insertions, 1 deletions
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"),