Remove an unnecessary attribute

This commit is contained in:
Seiichi Uchida 2018-08-26 13:20:07 +09:00
parent e5a41e5682
commit 6aae9d870f

View file

@ -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)]