From 233e17abd5ec68f2a964954fb42c23705e6fa62d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 22:58:02 +0100
Subject: spec: update encoding of floating point values to RFC7049bis

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

(limited to 'dhall-lang')

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