Revert comment outted pre condition

Entropy-Foundation · Dec 5, 2024 · dc3c47e · dc3c47e
1 parent 565c1a3
commit dc3c47e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/aptos-move/framework/supra-framework/sources/staking_contract.spec.move b/aptos-move/framework/supra-framework/sources/staking_contract.spec.move
@@ -588,9 +588,9 @@ spec supra_framework::staking_contract {
         requires exists<staking_config::StakingRewardsConfig>(
             @supra_framework
         ) || !std::features::spec_periodical_reward_rate_decrease_enabled();
-        // requires exists<stake::ValidatorFees>(@supra_framework);
+        requires exists<stake::ValidatorFees>(@supra_framework);
         requires exists<supra_framework::timestamp::CurrentTimeMicroseconds>(@supra_framework);
-        // requires exists<stake::SupraCoinCapabilities>(@supra_framework);
+        requires exists<stake::SupraCoinCapabilities>(@supra_framework);
     }
 
     spec schema CreateStakePoolAbortsIf {