doc

aptos-labs · Jun 13, 2024 · e818b84 · e818b84
1 parent b539f8a
commit e818b84
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/third_party/move/move-model/src/builder/model_builder.rs b/third_party/move/move-model/src/builder/model_builder.rs
@@ -463,7 +463,7 @@ impl<'env> ModelBuilder<'env> {
         for cur_mod in target_modules {
             let cur_mod_env = self.env.get_module(cur_mod);
             let cur_mod_name = cur_mod_env.get_name().clone();
-            for need_to_be_friend_with in cur_mod_env.get_friend_deps() {
+            for need_to_be_friend_with in cur_mod_env.needs_be_friend_with() {
                 if need_to_be_friend_with == cur_mod {
                     continue;
                 }

diff --git a/third_party/move/move-model/src/model.rs b/third_party/move/move-model/src/model.rs
@@ -2709,7 +2709,7 @@ impl<'env> ModuleEnv<'env> {
     }
 
     /// Returns the set of modules whose public(package) functions are called in the current module.
-    pub fn get_friend_deps(&self) -> BTreeSet<ModuleId> {
+    pub fn needs_be_friend_with(&self) -> BTreeSet<ModuleId> {
         let mut deps = BTreeSet::new();
         for fun_env in self.get_functions() {
             let called_funs = fun_env.get_called_functions().expect("called functions");