diff options
author | Nadrieril | 2019-03-31 13:24:27 +0200 |
---|---|---|
committer | Nadrieril | 2019-03-31 18:05:32 +0200 |
commit | bc64e9e305f50ad04e6e2071dad8c153c1582b8c (patch) | |
tree | 80dd3056ffa7280dcb0493695ccd90aaa35fa5da /dhall/src/lib.rs | |
parent | 5d6f095fbd9b803870777b77c42e4a9df236dd67 (diff) |
Remove some redundant namespacing
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index c0c1d6f..0270103 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -13,7 +13,8 @@ pub mod binary; mod dhall_type; pub mod imports; pub mod typecheck; -pub use dhall_type::*; +pub use crate::dhall_type::*; +pub use dhall_generator::Type; pub use crate::imports::*; |