corrections

runtimeverification · Aug 10, 2024 · 25ac0b5 · 25ac0b5
1 parent c0dca20
commit 25ac0b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contracts/libraries/DualGovernanceState.sol b/contracts/libraries/DualGovernanceState.sol
@@ -393,7 +393,7 @@ library DualGovernanceState {
         }
 
         if (rageQuitSupport < secondSealRageQuitSupport) {
-            duration_ = dynamicTimelockMinDuration
+            return dynamicTimelockMinDuration
                 + Durations.from(
                     (rageQuitSupport - firstSealRageQuitSupport)
                         * (dynamicTimelockMaxDuration - dynamicTimelockMinDuration).toSeconds()