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 /serde_dhall/src/static_type.rs | |
parent | 4c3552e23f788f971dc5879c99e1e659d8ddae8f (diff) |
Reexport dhall_syntax as a module in dhall
Diffstat (limited to '')
-rw-r--r-- | serde_dhall/src/static_type.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/serde_dhall/src/static_type.rs b/serde_dhall/src/static_type.rs index 67a7bc4..1323aa3 100644 --- a/serde_dhall/src/static_type.rs +++ b/serde_dhall/src/static_type.rs @@ -1,4 +1,4 @@ -use dhall_syntax::{Builtin, Integer, Natural}; +use dhall::syntax::{Builtin, Integer, Natural}; use crate::Value; |