diff options
| author | Nadrieril | 2020-02-18 19:08:53 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-18 19:08:53 +0000 |
| commit | a3990858840a737d7831be45953b38bd67361fb7 (patch) | |
| tree | bca528f60e5dfd3c80470f9526e96fc422d3c6ba /dhall/src/error/mod.rs | |
| parent | 50a9dc4b9af19a35a983fe17108453d1d82d80ed (diff) | |
Discard import headers while we don't use them
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/error/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index 51bd549..b8f2fca 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -27,8 +27,8 @@ pub(crate) enum ErrorKind { #[derive(Debug)] pub(crate) enum ImportError { - UnexpectedImport(Import<Hir>), - ImportCycle(ImportStack, Import<Hir>), + UnexpectedImport(Import<()>), + ImportCycle(ImportStack, Import<()>), } #[derive(Debug)] |