From 7827d10b431061ca9d2ef83d04a5a4e9f4c7fd47 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 7 Aug 2019 15:59:13 +0200 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 4d68c57..ee2fe7d 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit 4d68c5708cfc5c3f5ff7e5a6c4df25c5fdfd96f4 +Subproject commit ee2fe7d9cbd699fc9f40ca4858abcc0f13105324 -- cgit v1.2.3