From b00527961038d3dfe685a57e89ed1449abc5800a Mon Sep 17 00:00:00 2001 From: Eric Huss Date: Wed, 8 Jun 2022 15:30:43 -0700 Subject: [PATCH] Remove mention of -Zborrowck=mir with Polonius. (#1367) --- src/tests/compiletest.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tests/compiletest.md b/src/tests/compiletest.md index bf7c26e4c..a3d37a37c 100644 --- a/src/tests/compiletest.md +++ b/src/tests/compiletest.md @@ -506,7 +506,7 @@ CLI flag: The possible compare modes are: -* `polonius` — Runs with Polonius with `-Zpolonius -Zborrowck=mir`. +* `polonius` — Runs with Polonius with `-Zpolonius`. * `chalk` — Runs with Chalk with `-Zchalk`. * `split-dwarf` — Runs with unpacked split-DWARF with `-Csplit-debuginfo=unpacked`. * `split-dwarf-single` — Runs with packed split-DWARF with `-Csplit-debuginfo=packed`.