From 98e7751fb8deb22685b6991367404515c35f502f Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 7 Aug 2019 16:28:48 +0200 Subject: Various parsing tweaks --- dhall-lang | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall-lang') diff --git a/dhall-lang b/dhall-lang index 599f83b..f4ee1fb 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit 599f83b9d5ed24f4357455aecc794f572234a69a +Subproject commit f4ee1fb8f8165c6d68d5f7f4da609483839271db -- cgit v1.2.3