summaryrefslogtreecommitdiff
path: root/dhall/src/core/value.rs
diff options
context:
space:
mode:
authorNadrieril2019-12-15 19:42:57 +0000
committerNadrieril2019-12-15 19:42:57 +0000
commit929a34c177f8b18ae791f77bbd4630a862fb1070 (patch)
tree2b637a803ba1d833545927363f8963b2d2849956 /dhall/src/core/value.rs
parent4c3552e23f788f971dc5879c99e1e659d8ddae8f (diff)
Reexport dhall_syntax as a module in dhall
Diffstat (limited to '')
-rw-r--r--dhall/src/core/value.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs
index d4f5131..bd7a9b9 100644
--- a/dhall/src/core/value.rs
+++ b/dhall/src/core/value.rs
@@ -1,7 +1,7 @@
use std::cell::{Ref, RefCell, RefMut};
use std::rc::Rc;
-use dhall_syntax::{Builtin, Const, Span};
+use crate::syntax::{Builtin, Const, Span};
use crate::core::context::TypecheckContext;
use crate::core::valuef::ValueF;