summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/src/core/context.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/core/context.rs b/dhall/src/core/context.rs
index 36542d2..cc25749 100644
--- a/dhall/src/core/context.rs
+++ b/dhall/src/core/context.rs
@@ -56,7 +56,7 @@ impl TypecheckContext {
*shift_map.entry(l.clone()).or_insert(0) += 1;
}
}
- // Free variable
+ // Unbound variable
None
}
/// Given a var that makes sense in the current context, map the given function in such a way