From 29a3d7d6f871960b5e00416311d5063d5b5208c5 Mon Sep 17 00:00:00 2001
From: "Brian R. Murphy" <132495859+brmataptos@users.noreply.github.com>
Date: Mon, 11 Mar 2024 18:36:22 -0700
Subject: [PATCH] clarify comment

---
 third_party/move/move-compiler-v2/src/ast_simplifier.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/third_party/move/move-compiler-v2/src/ast_simplifier.rs b/third_party/move/move-compiler-v2/src/ast_simplifier.rs
index 2b8a7c5e40026..4de37f008d390 100644
--- a/third_party/move/move-compiler-v2/src/ast_simplifier.rs
+++ b/third_party/move/move-compiler-v2/src/ast_simplifier.rs
@@ -13,7 +13,8 @@
 //!
 //! More details:
 //! - Do flow-insensitive constant propagation:
-//!   - identify "possibly modified" symbols which may have more than one value
+//!   - identify "possibly modified" symbols which may have more than one value,
+//!     or may have their value moved (possibly leaving none)
 //!   - for safe symbols whose value is a constant value, propagate
 //!     the value to the use site to enable simplifying code:
 //!     - inline a constant value