summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
m---------dhall-lang0
-rw-r--r--dhall/src/normalize.rs1
2 files changed, 0 insertions, 1 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject d317261da2fdf2f997e5c7d87c5b297e427581e
+Subproject af74785a3fd8f7c5ae212af7557ef64b52407a5
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 2454db4..d7f1848 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -663,7 +663,6 @@ mod spec_tests {
// norm!(success_unit_UnionNormalizeAlternatives, "unit/UnionNormalizeAlternatives");
norm!(success_unit_UnionNormalizeArguments, "unit/UnionNormalizeArguments");
// norm!(success_unit_UnionProjectConstructor, "unit/UnionProjectConstructor");
- norm!(success_unit_UnionProjectConstructorNormalizeArguments, "unit/UnionProjectConstructorNormalizeArguments");
// norm!(success_unit_UnionSortAlternatives, "unit/UnionSortAlternatives");
// norm!(success_unit_UnionType, "unit/UnionType");
norm!(success_unit_UnionTypeEmpty, "unit/UnionTypeEmpty");