From 9da112a1985124f549254943c81495e637fb43cc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 22:05:00 +0100
Subject: spec: allow unions with mixed kinds

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index b788d6d..5973964 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit b788d6dd2150eec49b6bdd0cc7de50e403fad889
+Subproject commit 5973964062be2e7ea6ff7300a46616086dd9143b
-- 
cgit v1.2.3