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 'dhall/src/normalize.rs')
| -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; |