From 3268e1fb66e2c9eab22572da034a0ac9b3087867 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 2 May 2019 22:15:47 +0200
Subject: Update dhall-lang submodule

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

(limited to 'dhall')

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 13ffb48..c6f3645 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -1496,6 +1496,7 @@ mod spec_tests {
     ti_success!(ti_success_unit_True, "unit/True");
     ti_success!(ti_success_unit_Type, "unit/Type");
     ti_success!(ti_success_unit_TypeAnnotation, "unit/TypeAnnotation");
+    ti_success!(ti_success_unit_TypeAnnotationSort, "unit/TypeAnnotationSort");
     ti_success!(ti_success_unit_UnionConstructorField, "unit/UnionConstructorField");
     ti_success!(ti_success_unit_UnionOne, "unit/UnionOne");
     ti_success!(ti_success_unit_UnionTypeEmpty, "unit/UnionTypeEmpty");
-- 
cgit v1.2.3