From c4438eb3d52b1a69c9022b12e8de135b8c9991c9 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 21:54:55 +0200
Subject: Start taking Typed seriously

---
 dhall/src/normalize.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'dhall/src/normalize.rs')

diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 8ed2136..f9633fb 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -6,10 +6,7 @@ use std::fmt;
 
 impl Typed {
     pub fn normalize(self) -> Normalized {
-        Normalized(normalize(self.0))
-    }
-    pub fn get_type(&self) -> &Type {
-        &self.1
+        Normalized(normalize(self.0), self.1)
     }
 }
 
-- 
cgit v1.2.3