Skip to content

Commit

Permalink
Rustup
Browse files Browse the repository at this point in the history
  • Loading branch information
oli-obk committed Oct 16, 2017
1 parent 0424302 commit 25e0f5b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion miri/bin/miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ fn after_analysis<'a, 'tcx>(state: &mut CompileState<'a, 'tcx>) {
let did = self.1.hir.body_owner_def_id(body_id);
println!(
"running test: {}",
self.1.hir.def_path(did).to_string(self.1)
self.1.def_path_debug_str(did),
);
miri::eval_main(self.1, did, None, self.0);
self.2.session.abort_if_errors();
Expand Down

0 comments on commit 25e0f5b

Please sign in to comment.