]> git.lizzy.rs Git - rust.git/commitdiff
Change the log level of the message reporting the selected Polonius algorithm to...
authorVytautas Astrauskas <vastrauskas@gmail.com>
Sat, 2 Jun 2018 12:20:04 +0000 (14:20 +0200)
committerVytautas Astrauskas <vastrauskas@gmail.com>
Sat, 2 Jun 2018 12:20:04 +0000 (14:20 +0200)
src/librustc_mir/borrow_check/nll/mod.rs

index c95b236faaf5f4263839460a8235f9c7220be44a..c3d9dd8378d4a80c7a4f228411356838026d5ed0 100644 (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,