use the logging framework instead of println!

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 8cc52e39ca69e5b9bf45c198cead9cb87bb923bf..8ec691dbbbc2777d84e633e8def353702e8195a5 100644 (file)
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -38,7 +38,7 @@ fn build_controller(
             let mir_map = state.mir_map.unwrap();
 
             let (node_id, span) = state.session.entry_fn.borrow().expect("no main or start function found");
-            println!("found `main` function at: {:?}", span);
+            debug!("found `main` function at: {:?}", span);
 
             let mir = mir_map.map.get(&node_id).expect("no mir for main function");
             let def_id = tcx.map.local_def_id(node_id);