diff --git a/aptos-move/framework/aptos-framework/doc/account.md b/aptos-move/framework/aptos-framework/doc/account.md index 3957fd601e366..79323892386bd 100644 --- a/aptos-move/framework/aptos-framework/doc/account.md +++ b/aptos-move/framework/aptos-framework/doc/account.md @@ -2699,7 +2699,6 @@ Capability based functions for efficient use.
pragma verify = false;
-pragma aborts_if_is_partial;
 
diff --git a/aptos-move/framework/aptos-framework/sources/account.spec.move b/aptos-move/framework/aptos-framework/sources/account.spec.move index d872dd82b0278..336d42363f69b 100644 --- a/aptos-move/framework/aptos-framework/sources/account.spec.move +++ b/aptos-move/framework/aptos-framework/sources/account.spec.move @@ -106,7 +106,8 @@ spec aptos_framework::account { spec module { pragma verify = false; - pragma aborts_if_is_partial; + + } /// Only the address `@aptos_framework` can call.