From ce4665bdfcbcb4e34e760acef83bd4de3fbef530 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 19 Feb 2020 17:12:14 +0000 Subject: Update spec to version 13 --- dhall-lang | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall-lang') diff --git a/dhall-lang b/dhall-lang index e2d08eb..48db9e1 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit e2d08ebf5fb5770b57d0681131bed4289d0bb623 +Subproject commit 48db9e1ff1f8881fa4310085834fbc19e313ebf0 -- cgit v1.2.3