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