Skip to content

Commit

Permalink
Fix polonius compare mode.
Browse files Browse the repository at this point in the history
  • Loading branch information
ehuss committed Jun 8, 2022
1 parent 09d52bc commit bcfced8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/compiletest/src/runtest.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1939,7 +1939,7 @@ impl<'test> TestCx<'test> {

match self.config.compare_mode {
Some(CompareMode::Polonius) => {
rustc.args(&["-Zpolonius", "-Zborrowck=mir"]);
rustc.args(&["-Zpolonius"]);
}
Some(CompareMode::Chalk) => {
rustc.args(&["-Zchalk"]);
Expand Down

0 comments on commit bcfced8

Please sign in to comment.