fix wrong ignore condition

This commit is contained in:
Pietro Albini 2023-03-16 11:35:11 +01:00
parent 9a2d1b85ed
commit bf66ddbf24
No known key found for this signature in database
GPG Key ID: CD76B35F7734769E
1 changed files with 1 additions and 1 deletions

View File

@ -1,7 +1,7 @@
// run-pass
// Test that users are able to use stable mir APIs to retrieve information of the current crate
// ignore-stage-1
// ignore-stage1
// ignore-cross-compile
// ignore-remote
// edition: 2021