From e9f08e709d471988fcf163779dec430cdcbf1193 Mon Sep 17 00:00:00 2001 From: DrMeepster <19316085+DrMeepster@users.noreply.github.com> Date: Fri, 25 Mar 2022 23:46:37 -0700 Subject: [PATCH] fix wrong header command --- src/test/ui/box/issue-95036.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/ui/box/issue-95036.rs b/src/test/ui/box/issue-95036.rs index e062599d74c..e55a10af3d6 100644 --- a/src/test/ui/box/issue-95036.rs +++ b/src/test/ui/box/issue-95036.rs @@ -1,5 +1,5 @@ // compile-flags: -O -// compile-pass +// build-pass #![feature(allocator_api, bench_black_box)]