From 0151500f3fd3d6c2617f4b95f1bd88477d604c80 Mon Sep 17 00:00:00 2001
From: "fEst1ck.github.io" <41706692+fEst1ck@users.noreply.github.com>
Date: Tue, 28 Mar 2023 16:32:33 -0400
Subject: [PATCH] Fix typo (#1015)

"At the end of a function (when `Ret` is reached), *no local* whose type is of resource kind must be empty, i.e., the value must have been moved out of the local."
I suppose that should be *any local* instead.
---
 language/move-bytecode-verifier/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/language/move-bytecode-verifier/README.md b/language/move-bytecode-verifier/README.md
index f6e3fdeaea..4b3b4ee4c9 100644
--- a/language/move-bytecode-verifier/README.md
+++ b/language/move-bytecode-verifier/README.md
@@ -29,7 +29,7 @@ Resources represent the assets of the blockchain. As such, there are certain res
 
 * `CopyLoc` and `StLoc` require that the type of local is not of resource kind.
 * `WriteRef`, `Eq`, and `Neq` require that the type of the reference is not of resource kind.
-* At the end of a function (when `Ret` is reached), no local whose type is of resource kind must be empty, i.e., the value must have been moved out of the local.
+* At the end of a function (when `Ret` is reached), any local whose type is of resource kind must be empty, i.e., the value must have been moved out of the local.
 
 As mentioned above, this last rule around `Ret` implies that the resource *must* have been either: