Change the log level of the message reporting the selected Polonius algorithm to debug.

This commit is contained in:
Vytautas Astrauskas 2018-06-02 14:20:04 +02:00
parent 1404c00eb0
commit 265b04df9a

View File

@ -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,