From d8b88c1a5da7218011fca2bccc525907aa439335 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 27 Feb 2019 15:45:09 +0100
Subject: Switch to Rust 2018 edition

---
 src/typecheck.rs | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/typecheck.rs')

diff --git a/src/typecheck.rs b/src/typecheck.rs
index 576b059..62ff7d2 100644
--- a/src/typecheck.rs
+++ b/src/typecheck.rs
@@ -3,14 +3,14 @@ use std::collections::BTreeMap;
 use std::collections::HashSet;
 use std::fmt;
 
-use context::Context;
-use core;
-use core::{Expr, V, X, bx, normalize, shift, subst};
-use core::{pi, app};
-use core::BuiltinType::*;
-use core::BuiltinValue::*;
-use core::Const::*;
-use core::Expr::*;
+use crate::context::Context;
+use crate::core;
+use crate::core::{Expr, V, X, bx, normalize, shift, subst};
+use crate::core::{pi, app};
+use crate::core::BuiltinType::*;
+use crate::core::BuiltinValue::*;
+use crate::core::Const::*;
+use crate::core::Expr::*;
 
 use self::TypeMessage::*;
 
-- 
cgit v1.2.3