From ec761bbd0de807bf1cb0da9389d714e3d812dd6d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 15 Dec 2019 19:50:15 +0000
Subject: fixup! Reexport dhall_syntax as a module in dhall

---
 dhall/src/semantics/phase/typecheck.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'dhall/src/semantics/phase/typecheck.rs')

diff --git a/dhall/src/semantics/phase/typecheck.rs b/dhall/src/semantics/phase/typecheck.rs
index 9a41be9..97a29ca 100644
--- a/dhall/src/semantics/phase/typecheck.rs
+++ b/dhall/src/semantics/phase/typecheck.rs
@@ -457,7 +457,9 @@ fn type_last_layer(
                 return mkerr(InvalidListType(t));
             }
 
-            RetTypeOnly(Value::from_builtin(crate::syntax::Builtin::List).app(t))
+            RetTypeOnly(
+                Value::from_builtin(crate::syntax::Builtin::List).app(t),
+            )
         }
         SomeLit(x) => {
             let t = x.get_type()?;
-- 
cgit v1.2.3