From c85335f662f24d59ca799cb72037961841e97ed1 Mon Sep 17 00:00:00 2001
From: runtianz <runtian@aptoslabs.com>
Date: Wed, 15 Jan 2025 07:30:50 -0800
Subject: [PATCH] Update account.spec.move

---
 aptos-move/framework/aptos-framework/doc/account.md            | 1 -
 aptos-move/framework/aptos-framework/sources/account.spec.move | 3 ++-
 2 files changed, 2 insertions(+), 2 deletions(-)

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.
 
 
 <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
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.