use rustc_middle::ty::print::Print;

Co-authored-by: spernsteiner <spernsteiner@galois.com>
immunant · Jul 5, 2023 · 83979c0 · 83979c0
1 parent 0ce727a
commit 83979c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/c2rust-analyze/src/rewrite/expr/mir_op.rs b/c2rust-analyze/src/rewrite/expr/mir_op.rs
@@ -10,7 +10,7 @@
 use crate::context::{AnalysisCtxt, Assignment, FlagSet, LTy, PermissionSet};
 use crate::panic_detail;
 use crate::pointer_id::{PointerId, PointerTable};
-use crate::rustc_middle::ty::print::Print;
+use rustc_middle::ty::print::Print;
 use crate::type_desc::{self, Ownership, Quantity, TypeDesc};
 use crate::util::{ty_callee, Callee};
 use log::*;