From 982f86c34f69bb78b45a4b8b37a5bf5731f881eb Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 9 Apr 2019 16:23:29 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang             | 2 +-
 dhall/src/normalize.rs | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/dhall-lang b/dhall-lang
index d317261..af74785 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit d317261da2fdf2f997e5c7d87c5b297e427581e0
+Subproject commit af74785a3fd8f7c5ae212af7557ef64b52407a5f
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");
-- 
cgit v1.2.3