From 36bcec6c91d3192b5c84c96af96961ff6b79f0f0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 9 May 2019 23:35:08 +0200
Subject: Merge Type and Typed

---
 dhall/src/core/thunk.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/src/core/thunk.rs')

diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs
index 0e4f2d5..c65d70e 100644
--- a/dhall/src/core/thunk.rs
+++ b/dhall/src/core/thunk.rs
@@ -198,7 +198,7 @@ impl TypeThunk {
     }
 
     pub fn from_type(t: Type) -> TypeThunk {
-        TypeThunk(t.to_typed())
+        TypeThunk(t)
     }
 
     pub fn normalize_mut(&mut self) {
-- 
cgit v1.2.3