From 6c06aefc5a6184f9411316990d9223447b022aa0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 9 May 2019 10:06:17 +0200
Subject: Correctly shift free variables in normalization

---
 dhall/src/phase/normalize.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/src/phase/normalize.rs')

diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs
index 5672bc4..589ec00 100644
--- a/dhall/src/phase/normalize.rs
+++ b/dhall/src/phase/normalize.rs
@@ -1048,7 +1048,7 @@ mod spec_tests {
     alpha_norm!(unit_FunctionBindingX, "unit/FunctionBindingX");
     alpha_norm!(unit_FunctionNestedBindingX, "unit/FunctionNestedBindingX");
     alpha_norm!(unit_FunctionNestedBindingXX, "unit/FunctionNestedBindingXX");
-    // alpha_norm!(unit_FunctionNestedBindingXXFree, "unit/FunctionNestedBindingXXFree");
+    alpha_norm!(unit_FunctionNestedBindingXXFree, "unit/FunctionNestedBindingXXFree");
     alpha_norm!(unit_FunctionNestedBindingXY, "unit/FunctionNestedBindingXY");
     alpha_norm!(unit_FunctionTypeBindingUnderscore, "unit/FunctionTypeBindingUnderscore");
     alpha_norm!(unit_FunctionTypeBindingX, "unit/FunctionTypeBindingX");
-- 
cgit v1.2.3