From e81ab9a553bf82f20fa0b0344926258176a21dac Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 22:28:36 +0200
Subject: Update dhall-lang submodule

---
 dhall/build.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 29e86e3..b6df3d0 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -259,6 +259,7 @@ fn main() -> std::io::Result<()> {
             || path == "success/unit/RecordProjectionByTypeJudgmentalEquality"
             // TODO: toMap
             || path == "success/unit/ToMap"
+            || path == "success/unit/ToMapAnnotated"
         },
     )?;
 
-- 
cgit v1.2.3