Update account.spec.move

aptos-labs · Jan 15, 2025 · 1230cf4 · 1230cf4
1 parent 84ff553
commit 1230cf4
Showing 1 changed file with 2 additions and 1 deletion.
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.