diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/core/context.rs | 2 |
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 |