Skip to content

Commit

Permalink
Change the log level of the message reporting the selected Polonius a…
Browse files Browse the repository at this point in the history
…lgorithm to debug.
  • Loading branch information
vakaras committed Jun 2, 2018
1 parent 1404c00 commit 265b04d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/librustc_mir/borrow_check/nll/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ pub(in borrow_check) fn compute_regions<'cx, 'gcx, 'tcx>(
let algorithm = env::var("POLONIUS_ALGORITHM")
.unwrap_or(String::from("DatafrogOpt"));
let algorithm = Algorithm::from_str(&algorithm).unwrap();
info!("Using Polonius algorithm: {:?}", algorithm);
debug!("compute_regions: using polonius algorithm {:?}", algorithm);
Some(Rc::new(Output::compute(
&all_facts,
algorithm,
Expand Down

0 comments on commit 265b04d

Please sign in to comment.