From 7abd49772643ee4e131ef47de66db22ba7c1e037 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 15 Dec 2019 19:47:20 +0000
Subject: Move contents of dhall under a semantics submodule

---
 dhall/src/lib.rs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 66c6e5b..3c0159a 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -12,9 +12,8 @@
 
 mod tests;
 
-pub mod core;
-pub mod error;
-pub mod phase;
+pub mod semantics;
+pub use crate::semantics::*;
 
 pub mod syntax {
     pub use dhall_syntax::*;
-- 
cgit v1.2.3