From f055754381d17d987664a5df3d3507c610d0f7cd Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 21:32:20 +0100
Subject: Merge dhall_normalize back into dhall; that was unnecessary

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

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

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 32662cd..58b29a3 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -1,4 +1,8 @@
 #![feature(box_patterns)]
 #![feature(trace_macros)]
+#![feature(proc_macro_hygiene)]
 
+mod normalize;
+pub use crate::normalize::*;
 pub mod typecheck;
+
-- 
cgit v1.2.3