diff options
Diffstat (limited to 'src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs')
| -rw-r--r-- | src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs b/src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs index 77daa9c9811..fd51fa6468a 100644 --- a/src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs +++ b/src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs @@ -1,5 +1,5 @@ //@compile-flags: -Zmiri-strict-provenance -//@error-pattern: /retag .* tag does not exist in the borrow stack/ +//@error-in-other-file: /retag .* tag does not exist in the borrow stack/ fn main() { unsafe { |