From fc12a0a0699406cb3eddaddac354e02390f78c69 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Fri, 10 Dec 2021 23:08:57 -0800
Subject: [PATCH] Rename miri flag miri-track-raw-pointers ->
 miri-tag-raw-pointers

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 50fd538..51809c3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -42,7 +42,7 @@ jobs:
           components: miri
       - run: cargo miri test
         env:
-          MIRIFLAGS: "-Zmiri-track-raw-pointers"
+          MIRIFLAGS: "-Zmiri-tag-raw-pointers"
 
   clippy:
     name: Clippy