diff options
author | Nadrieril | 2019-03-06 16:30:40 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 16:30:40 +0100 |
commit | 4d92f06c98c98c014a02c218b6c31cf81d9f0fec (patch) | |
tree | 30a2e3e0879c58c866a3ae0ed7cbebf2c4a1cfa6 /dhall/src/typecheck.rs | |
parent | 45992d093b950170fc30e63d2c7d7a2767e9b9e8 (diff) |
Move context to dhall_core
Diffstat (limited to '')
-rw-r--r-- | dhall/src/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 26192d2..aa8aa08 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -3,7 +3,7 @@ use std::collections::BTreeMap; use std::collections::HashSet; use std::fmt; -use crate::context::Context; +use dhall_core::context::Context; use dhall_core::core; use dhall_core::core::Builtin::*; use dhall_core::core::Const::*; |