From 6aae9d870fcd9f30d265d3f287627ac5fbad8f4f Mon Sep 17 00:00:00 2001 From: Seiichi Uchida Date: Sun, 26 Aug 2018 13:20:07 +0900 Subject: [PATCH] Remove an unnecessary attribute --- src/lib.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lib.rs b/src/lib.rs index 89dcf6f5ff3..7ebb967a494 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -8,7 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#![feature(tool_attributes)] #![feature(decl_macro)] #![allow(unused_attributes)] #![feature(type_ascription)]