4 files changed, 3 insertions, 4 deletions
diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index 92e5912..98fdf5a 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,6 +1,7 @@
 pub mod builtins;
 pub mod nze;
-pub mod phase;
+pub mod parse;
+pub mod resolve;
 pub mod tck;
 pub(crate) use self::builtins::*;
 pub(crate) use self::nze::*;
diff --git a/dhall/src/semantics/phase/parse.rs b/dhall/src/semantics/parse.rs
index b72fe7f..ee35536 100644
--- a/dhall/src/semantics/phase/parse.rs
+++ b/dhall/src/semantics/parse.rs
@@ -3,7 +3,7 @@ use std::io::Read;
 use std::path::Path;
 
 use crate::error::Error;
-use crate::semantics::phase::resolve::ImportRoot;
+use crate::semantics::resolve::ImportRoot;
 use crate::syntax::binary;
 use crate::syntax::parse_expr;
 use crate::Parsed;
diff --git a/dhall/src/semantics/phase/mod.rs b/dhall/src/semantics/phase/mod.rs
deleted file mode 100644
index 02e2b18..0000000
--- a/dhall/src/semantics/phase/mod.rs
+++ /dev/null
@@ -1,2 +0,0 @@
-pub(crate) mod parse;
-pub(crate) mod resolve;
diff --git a/dhall/src/semantics/phase/resolve.rs b/dhall/src/semantics/resolve.rs
index 3acf114..3acf114 100644
--- a/dhall/src/semantics/phase/resolve.rs
+++ b/dhall/src/semantics/resolve.rs