From 4d94c3bbf955c5c32cee0651820484c4e4b6cd90 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 8 Aug 2019 19:45:52 +0200
Subject: Update dhall-lang submodule

---
 dhall/build.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index c05df0d..bcb5d1c 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -208,9 +208,12 @@ fn main() -> std::io::Result<()> {
             || path == "success/unit/RecursiveRecordMergeWithinFieldSelection0"
             || path == "success/unit/RecursiveRecordMergeWithinFieldSelection1"
             || path == "success/unit/RecursiveRecordMergeWithinFieldSelection2"
+            || path == "success/unit/RecursiveRecordMergeWithinFieldSelection3"
             || path == "success/unit/RightBiasedMergeWithinFieldSelection0"
             || path == "success/unit/RightBiasedMergeWithinFieldSelection1"
             || path == "success/unit/RightBiasedMergeWithinFieldSelection2"
+            || path == "success/unit/RightBiasedMergeWithinFieldSelection3"
+            || path == "success/unit/RightBiasedMergeEquivalentArguments"
         },
     )?;
 
-- 
cgit v1.2.3