Use proc_macro_error2

model-checking · Sep 11, 2024 · 68554df · 68554df
1 parent 3a481a0
commit 68554df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/kani_macros/src/sysroot/loop_contracts/mod.rs b/library/kani_macros/src/sysroot/loop_contracts/mod.rs
@@ -5,7 +5,7 @@
 //!
 
 use proc_macro::TokenStream;
-use proc_macro_error::abort_call_site;
+use proc_macro_error2::abort_call_site;
 use quote::{format_ident, quote};
 use syn::spanned::Spanned;
 use syn::{Expr, Stmt};