diff options
author | Nadrieril | 2019-08-08 19:45:52 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-08 19:45:52 +0200 |
commit | 4d94c3bbf955c5c32cee0651820484c4e4b6cd90 (patch) | |
tree | babe260c49d23f6d5c2856f118d757fe7cc2c463 /dhall/build.rs | |
parent | 071ba528cd8c6a222be345ddec7560bb45cca6be (diff) |
Update dhall-lang submodule
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 3 |
1 files changed, 3 insertions, 0 deletions
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" }, )?; |