From d7938a75301d8a1bb870505a8a138d4bdf143632 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 14:04:22 +0100
Subject: Update spec to v15

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 99d84e4..91d88e0 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 99d84e47ed9c64cee9c48212ca8f2af9320cdda6
+Subproject commit 91d88e0a7938387cd8eb3cfaf091bd79d312168f
-- 
cgit v1.2.3


From 8ccbfcd1f7f7325c034f23a2cf943710ecb73337 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 14:06:00 +0100
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 91d88e0..a53a620 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 91d88e0a7938387cd8eb3cfaf091bd79d312168f
+Subproject commit a53a620df888b97fe23598356be7157bda0c8e21
-- 
cgit v1.2.3