From 4b1ad84cb2dad533069d685e212894d517d8fa57 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 23 Apr 2019 17:59:10 +0200
Subject: Silence warnings

---
 dhall/src/traits/dynamic_type.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dhall/src/traits/dynamic_type.rs')

diff --git a/dhall/src/traits/dynamic_type.rs b/dhall/src/traits/dynamic_type.rs
index 3b34363..f783950 100644
--- a/dhall/src/traits/dynamic_type.rs
+++ b/dhall/src/traits/dynamic_type.rs
@@ -1,8 +1,10 @@
 use crate::expr::*;
 use crate::traits::StaticType;
+#[allow(unused_imports)]
 use crate::typecheck::{
     type_of_const, TypeError, TypeMessage, TypecheckContext,
 };
+#[allow(unused_imports)]
 use dhall_core::{Const, ExprF};
 use std::borrow::Cow;
 
-- 
cgit v1.2.3