diff options
author | Nadrieril | 2019-04-06 20:32:25 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-06 20:32:25 +0200 |
commit | 412d0fac51b7b51aabcb049e3d6ba52f3dda1529 (patch) | |
tree | f72a1aa14d2bf978a7fb4d00b7b2f8ffedde3e90 /dhall/src/lib.rs | |
parent | 396ec334bac1e8d10a2d2b2d683c93e3b2ff4d8d (diff) |
Move binary decoding to new API
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r-- | dhall/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index fee5ba8..28b43ba 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -9,7 +9,7 @@ mod normalize; pub use crate::normalize::*; -pub mod binary; +mod binary; pub mod imports; mod traits; pub mod typecheck; |