add comment

aptos-labs · Jul 2, 2024 · 0a599a2 · 0a599a2
1 parent ef1d235
commit 0a599a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/third_party/move/move-model/src/builder/exp_builder.rs b/third_party/move/move-model/src/builder/exp_builder.rs
@@ -3341,7 +3341,7 @@ impl<'env, 'translator, 'module_translator> ExpTranslator<'env, 'translator, 'mo
         } else {
             "vector::borrow"
         };
-        //
+        // TODO: comment out because of #13888
         // for m in self.env().get_modules() {
         //     if m.is_std_vector() {
         //         let mid = m.get_id();