Update error message.

model-checking · Jan 17, 2023 · b9e314c · b9e314c
1 parent e7658ce
commit b9e314c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/kani-compiler/src/kani_middle/resolve.rs b/kani-compiler/src/kani_middle/resolve.rs
@@ -10,7 +10,7 @@
 use std::collections::VecDeque;
 
 use rustc_hir::def::{DefKind, Res};
-use rustc_hir::def_id::{DefId, LocalDefId, CRATE_DEF_INDEX};
+use rustc_hir::def_id::{DefId, LocalDefId, CRATE_DEF_INDEX, LOCAL_CRATE};
 use rustc_hir::{ItemKind, UseKind};
 use rustc_middle::ty::TyCtxt;
 
@@ -217,7 +217,7 @@ fn resolve_in_foreign_module(
 fn module_to_string(tcx: TyCtxt, current_module: LocalDefId) -> String {
     let def_id = current_module.to_def_id();
     if def_id.is_crate_root() {
-        "crate root".to_string()
+        format!("module `{}`", tcx.crate_name(LOCAL_CRATE))
     } else {
         format!("module `{}`", tcx.def_path_str(def_id))
     }

diff --git a/tests/expected/stubbing-ambiguous-path/expected b/tests/expected/stubbing-ambiguous-path/expected
@@ -1,4 +1,4 @@
-error: glob imports in local crate root make it impossible to unambiguously resolve path; the possibilities are:\
+error: glob imports in local module `main` make it impossible to unambiguously resolve path; the possibilities are:\
            mod1::foo\
            mod2::foo