[move] A cosmetic Prover cleanup (MystenLabs#8335)

lutianzhou001 · Feb 16, 2023 · d70f8dc · d70f8dc
1 parent 1a96a5d
commit d70f8dc
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 15 deletions.
diff --git a/crates/sui-framework/docs/sui_system.md b/crates/sui-framework/docs/sui_system.md
@@ -359,15 +359,6 @@ the epoch advancement transaction.
 
 
 
-<a name="0x2_sui_system_MAX_SUPPLY"></a>
-
-
-
-<pre><code><b>const</b> <a href="sui_system.md#0x2_sui_system_MAX_SUPPLY">MAX_SUPPLY</a>: u64 = 1000000000000000000;
-</code></pre>
-
-
-
 <a name="0x2_sui_system_create"></a>
 
 ## Function `create`

diff --git a/crates/sui-framework/sources/governance/sui_system.move b/crates/sui-framework/sources/governance/sui_system.move
@@ -106,8 +106,6 @@ module sui::sui_system {
 
     const BASIS_POINT_DENOMINATOR: u128 = 10000;
 
-    const MAX_SUPPLY: u64 = 1000000000000000000;
-
     // ==== functions that can only be called by genesis ====
 
     /// Create a new SuiSystemState object and make it shared.

diff --git a/crates/sui-framework/sources/governance/validator.move b/crates/sui-framework/sources/governance/validator.move
@@ -86,10 +86,6 @@ module sui::validator {
         commission_rate: u64,
     }
 
-//    spec Validator {
-//        invariant stake_amount + delegation_staking_pool.sui_balance <= MAX_U64;
-//    }
-
     const PROOF_OF_POSSESSION_DOMAIN: vector<u8> = vector[107, 111, 115, 107];
 
     fun verify_proof_of_possession(