From 0e07c9cd012efaeae7e1c50a3499a13aef4d2b61 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 18:54:58 +0000
Subject: Disallow Natural literals with leading zeros

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 3301f2e..a1f2dc0 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 3301f2e2a408d9e3953185c51c1a07c668db47b7
+Subproject commit a1f2dc019907ec001f28abbd05ca397bddb0975d
-- 
cgit v1.2.3