summaryrefslogtreecommitdiff
path: root/dhall_normalize/src
diff options
context:
space:
mode:
authorNadrieril2019-03-06 21:32:20 +0100
committerNadrieril2019-03-06 21:32:20 +0100
commitf055754381d17d987664a5df3d3507c610d0f7cd (patch)
tree3315344ea9ab19a951846a406df6f9e57ed5edb9 /dhall_normalize/src
parent19898d575f0fded463356aab952800e35cb9ff46 (diff)
Merge dhall_normalize back into dhall; that was unnecessary
Diffstat (limited to '')
-rw-r--r--dhall/src/normalize.rs (renamed from dhall_normalize/src/normalize.rs)0
-rw-r--r--dhall_normalize/src/lib.rs6
2 files changed, 0 insertions, 6 deletions
diff --git a/dhall_normalize/src/normalize.rs b/dhall/src/normalize.rs
index ec594da..ec594da 100644
--- a/dhall_normalize/src/normalize.rs
+++ b/dhall/src/normalize.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::*;