diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/traits/dynamic_type.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/traits/dynamic_type.rs b/dhall/src/traits/dynamic_type.rs index 3f8d117..7763a28 100644 --- a/dhall/src/traits/dynamic_type.rs +++ b/dhall/src/traits/dynamic_type.rs @@ -1,5 +1,5 @@ -use crate::phase::typecheck::TypeError; -use crate::phase::*; +use crate::error::TypeError; +use crate::phase::{Normalized, Type, Typed}; use crate::traits::StaticType; use std::borrow::Cow; |