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`.