summaryrefslogtreecommitdiff
path: root/dhall/src/phase
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src/phase')
-rw-r--r--dhall/src/phase/normalize.rs2
1 files changed, 1 insertions, 1 deletions
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");