diff options
| author | Vytautas Astrauskas <vastrauskas@gmail.com> | 2018-06-02 14:20:04 +0200 |
|---|---|---|
| committer | Vytautas Astrauskas <vastrauskas@gmail.com> | 2018-06-02 14:20:04 +0200 |
| commit | 265b04df9a5c75ed021c35abfbda3439e9858018 (patch) | |
| tree | d454d349068c78aee8b58229289b1fd6baaabdc1 | |
| parent | 1404c00eb05931399e23338df30461ea1203fabd (diff) | |
| download | rust-265b04df9a5c75ed021c35abfbda3439e9858018.tar.gz rust-265b04df9a5c75ed021c35abfbda3439e9858018.zip | |
Change the log level of the message reporting the selected Polonius algorithm to debug.
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_mir/borrow_check/nll/mod.rs b/src/librustc_mir/borrow_check/nll/mod.rs index c95b236faaf..c3d9dd8378d 100644 --- a/src/librustc_mir/borrow_check/nll/mod.rs +++ b/src/librustc_mir/borrow_check/nll/mod.rs @@ -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, |