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_normalize/src/lib.rs | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 dhall_normalize/src/lib.rs

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

diff --git a/dhall_normalize/src/lib.rs b/dhall_normalize/src/lib.rs
deleted file mode 100644
index df49146..0000000
--- a/dhall_normalize/src/lib.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-#![feature(box_patterns)]
-#![feature(trace_macros)]
-#![feature(proc_macro_hygiene)]
-
-mod normalize;
-pub use crate::normalize::*;
-- 
cgit v1.2.3