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-lang | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall-lang') diff --git a/dhall-lang b/dhall-lang index bf9783f..9729d89 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit bf9783fc4298d5d54897af1631d677b05dd19db5 +Subproject commit 9729d8939a6c79adf9a26dd20978fba6ec39bbec -- cgit v1.2.3