Update account.spec.move

aptos-labs · Jan 15, 2025 · 6a823bf · 6a823bf
1 parent deab4e0
commit 6a823bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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.
 
 
 <pre><code><b>pragma</b> verify = <b>false</b>;
-<b>pragma</b> aborts_if_is_partial;
 </code></pre>
 
 

diff --git 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.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2699,7 +2699,6 @@ Capability based functions for efficient use.


		<pre><code><b>pragma</b> verify = <b>false</b>;
		<b>pragma</b> aborts_if_is_partial;
		</code></pre>


Expand Down