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(-)

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