From d82a79220b8533dc553cddf3c3a90d2bed6a7271 Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Wed, 15 Jun 2016 13:00:51 +0200 Subject: [PATCH] use the logging framework instead of println! --- src/bin/miri.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/miri.rs b/src/bin/miri.rs index 8cc52e39ca6..8ec691dbbbc 100644 --- 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); -- 2.44.0