From 45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 4 May 2019 12:38:36 +0200
Subject: Rename dhall_core to dhall_syntax

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

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

diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs
index 9a161bd..b0b6215 100644
--- a/dhall/src/expr.rs
+++ b/dhall/src/expr.rs
@@ -1,6 +1,6 @@
 use crate::imports::ImportRoot;
 use crate::normalize::{Thunk, Value};
-use dhall_core::*;
+use dhall_syntax::*;
 use std::marker::PhantomData;
 
 macro_rules! derive_other_traits {
@@ -71,7 +71,7 @@ mod typed {
     use crate::typecheck::{
         TypeError, TypeInternal, TypeMessage, TypecheckContext,
     };
-    use dhall_core::{Const, Label, SubExpr, V, X};
+    use dhall_syntax::{Const, Label, SubExpr, V, X};
     use std::borrow::Cow;
     use std::marker::PhantomData;
 
-- 
cgit v1.2.3