diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/api/traits/static_type.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/api/traits/static_type.rs b/dhall/src/api/traits/static_type.rs index 8b141a0..e05dfff 100644 --- a/dhall/src/api/traits/static_type.rs +++ b/dhall/src/api/traits/static_type.rs @@ -39,7 +39,7 @@ fn mktype(x: SubExpr<X, X>) -> SimpleType { impl<T: SimpleStaticType> StaticType for T { fn get_static_type() -> Type { crate::phase::Normalized::from_thunk_and_type( - crate::phase::normalize::Thunk::from_normalized_expr( + crate::core::thunk::Thunk::from_normalized_expr( T::get_simple_static_type().into(), ), Type::const_type(), |