From a582338869195c83850ac0a9d9737ff1275e39e1 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 4 May 2019 13:13:55 +0200 Subject: rustfmt --- dhall/src/typecheck.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall/src/typecheck.rs') diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 0b8ea53..69491c8 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -7,10 +7,10 @@ use std::fmt; use crate::expr::*; use crate::normalize::{NormalizationContext, Thunk, TypeThunk, Value}; use crate::traits::DynamicType; +use dhall_proc_macros as dhall; use dhall_syntax; use dhall_syntax::context::Context; use dhall_syntax::*; -use dhall_proc_macros as dhall; use self::TypeMessage::*; -- cgit v1.2.3