From c8db72fee29f6b7e3dc37873803ac0ac9eee9fdc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 16 Apr 2019 22:35:26 +0200
Subject: Update dhall-lang submodule

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

(limited to 'dhall')

diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 7f56669..2bbaf52 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -651,6 +651,7 @@ mod spec_tests {
     // norm!(success_unit_RecursiveRecordTypeMergeNoCollision, "unit/RecursiveRecordTypeMergeNoCollision");
     // norm!(success_unit_RecursiveRecordTypeMergeNormalizeArguments, "unit/RecursiveRecordTypeMergeNormalizeArguments");
     // norm!(success_unit_RecursiveRecordTypeMergeRhsEmpty, "unit/RecursiveRecordTypeMergeRhsEmpty");
+    // norm!(success_unit_RecursiveRecordTypeMergeSorts, "unit/RecursiveRecordTypeMergeSorts");
     // norm!(success_unit_RightBiasedRecordMergeCollision, "unit/RightBiasedRecordMergeCollision");
     // norm!(success_unit_RightBiasedRecordMergeLhsEmpty, "unit/RightBiasedRecordMergeLhsEmpty");
     // norm!(success_unit_RightBiasedRecordMergeNoCollision, "unit/RightBiasedRecordMergeNoCollision");
-- 
cgit v1.2.3