From a4e81b8ca607c84398ac95278f4ae715e06420ca Mon Sep 17 00:00:00 2001
From: Teng Zhang <rahxephon89@163.com>
Date: Mon, 7 Aug 2023 15:35:45 -0700
Subject: [PATCH] fix spec (#9528)

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

diff --git a/aptos-move/framework/aptos-framework/doc/staking_contract.md b/aptos-move/framework/aptos-framework/doc/staking_contract.md
index bd225ffd50251..0b14d6d035d34 100644
--- a/aptos-move/framework/aptos-framework/doc/staking_contract.md
+++ b/aptos-move/framework/aptos-framework/doc/staking_contract.md
@@ -2476,7 +2476,7 @@ The StakePool exists under the pool_address of StakingContract.
 
 
 
-<pre><code><b>pragma</b> verify_duration_estimate = 1200;
+<pre><code><b>pragma</b> verify = <b>false</b>;
 <b>include</b> <a href="stake.md#0x1_stake_ResourceRequirement">stake::ResourceRequirement</a>;
 <b>let</b> staker_address = <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer_address_of">signer::address_of</a>(staker);
 <b>let</b> seed_0 = <a href="../../aptos-stdlib/../move-stdlib/doc/bcs.md#0x1_bcs_to_bytes">bcs::to_bytes</a>(staker_address);
diff --git a/aptos-move/framework/aptos-framework/sources/staking_contract.spec.move b/aptos-move/framework/aptos-framework/sources/staking_contract.spec.move
index ba0a6e375096f..12f56135f152f 100644
--- a/aptos-move/framework/aptos-framework/sources/staking_contract.spec.move
+++ b/aptos-move/framework/aptos-framework/sources/staking_contract.spec.move
@@ -248,7 +248,7 @@ spec aptos_framework::staking_contract {
         // TODO: this function is normal in the local machine
         // However, timeout in the github test
 
-        pragma verify_duration_estimate = 1200;
+        pragma verify = false;
 
         include stake::ResourceRequirement;
         let staker_address = signer::address_of(staker);