summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-04-09 16:23:29 +0200
committerNadrieril2019-04-09 16:23:29 +0200
commit982f86c34f69bb78b45a4b8b37a5bf5731f881eb (patch)
tree2f2f6a2a61eb46ecae5e5ad2754847b7393b0345
parent350d92430a047a41f855c9f61d278c4476f04d78 (diff)
Update dhall-lang submodule
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");