From 9a8a14ba3863b3bc5e79cd8070d6779451ff8466 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 22 Mar 2019 00:10:08 +0100
Subject: oops

---
 dhall/src/lib.rs | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'dhall')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index dcc1ff3..3e76395 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -10,16 +10,16 @@
 mod normalize;
 pub use crate::normalize::*;
 pub mod binary;
-pub mod dhall_type;
+// pub mod dhall_type;
 pub mod imports;
 pub mod typecheck;
 
 pub use crate::imports::*;
 
-pub struct DhallExpr(dhall_core::DhallExpr);
+// pub struct DhallExpr(dhall_core::DhallExpr);
 
-impl DhallExpr {
-    pub fn normalize(self) -> Self {
-        DhallExpr(crate::normalize::normalize(self.0))
-    }
-}
+// impl DhallExpr {
+//     pub fn normalize(self) -> Self {
+//         DhallExpr(crate::normalize::normalize(self.0))
+//     }
+// }
-- 
cgit v1.2.3