From fcc9afb3624883c4f99320c37678b7f9d338630d Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 16 Aug 2019 18:41:19 +0200 Subject: fixup! No need for generic Context anymore --- dhall/src/core/context.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall') 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 -- cgit v1.2.3