Remove unnecessary pub.

This commit is contained in:
Nicholas Nethercote 2023-10-06 14:59:11 +11:00
parent 093b435b78
commit e7dabc9f87

View File

@ -11,7 +11,7 @@ use rustc_driver::{Callbacks, Compilation, RunCompiler};
use rustc_interface::{interface, Queries};
use rustc_middle::mir::interpret::AllocId;
use rustc_middle::ty::TyCtxt;
pub use rustc_span::def_id::{CrateNum, DefId};
use rustc_span::def_id::{CrateNum, DefId};
use rustc_span::Span;
use stable_mir::CompilerError;