diff options
author | Nadrieril | 2019-12-15 19:42:57 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-15 19:42:57 +0000 |
commit | 929a34c177f8b18ae791f77bbd4630a862fb1070 (patch) | |
tree | 2b637a803ba1d833545927363f8963b2d2849956 /dhall/src/lib.rs | |
parent | 4c3552e23f788f971dc5879c99e1e659d8ddae8f (diff) |
Reexport dhall_syntax as a module in dhall
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index ed4435a..66c6e5b 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -15,3 +15,7 @@ mod tests; pub mod core; pub mod error; pub mod phase; + +pub mod syntax { + pub use dhall_syntax::*; +} |