Use correct exclusion comment

This commit is contained in:
Oliver Schneider 2018-07-22 14:44:17 +02:00 committed by GitHub
parent 555a7b4e35
commit 233a6e13ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,7 +8,8 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// ignore-wasm
// ignore-wasm32
// ignore-emscripten
#![feature(const_fn)]
#![allow(const_err)]