diff options
author | Nadrieril | 2019-03-21 15:11:55 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 15:37:02 +0100 |
commit | 7bbf42dc5d3727dffcb036ffe30dd433faff1950 (patch) | |
tree | 16ec59df8c3a834e0c0380dd141c18e052453bb3 /dhall/src/normalize.rs | |
parent | a304bce542c7685ca02e96e01143dcc69f920f36 (diff) |
Reorganize dhall_core a bit
Diffstat (limited to '')
-rw-r--r-- | dhall/src/normalize.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index 6257faf..7eba0cc 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -1,5 +1,5 @@ #![allow(non_snake_case)] -use dhall_core::core::*; +use dhall_core::*; use dhall_generator::dhall_expr; use std::fmt; use std::rc::Rc; |