Wrong import

model-checking · Feb 2, 2024 · 1807020 · 1807020
1 parent 7d08810
commit 1807020
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-compiler/src/kani_compiler.rs b/kani-compiler/src/kani_compiler.rs
@@ -29,8 +29,8 @@ use cbmc::{InternString, InternedString};
 use clap::Parser;
 use kani_metadata::{ArtifactType, HarnessMetadata, KaniMetadata};
 use rustc_codegen_ssa::traits::CodegenBackend;
+use rustc_data_structures::fx::FxHashMap;
 use rustc_driver::{Callbacks, Compilation, RunCompiler};
-use rustc_hash::FxHashMap;
 use rustc_hir::def_id::LOCAL_CRATE;
 use rustc_hir::definitions::DefPathHash;
 use rustc_interface::Config;