Merge branch 'ph/mbt-pss-fix' into insumity/add-opt-in-set

cosmos · Mar 25, 2024 · 30b99aa · 30b99aa
2 parents a9a99f8 + 667aafa
commit 30b99aa
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tests/mbt/model/ccv_pss.qnt b/tests/mbt/model/ccv_pss.qnt
@@ -115,8 +115,6 @@ module ccv_pss {
     pure def OptOut(currentState: ProtocolState, consumer: Chain, validator: Node): Result = {
         if (currentState.IsTopN(validator, consumer)) {
             Err("Cannot opt out a validator that is in the top N")
-        } else if (not(currentState.IsOptedIn(validator, consumer))) {
-            Err("Cannot opt out a validator that is not opted in")
         } else {
             pure val optedInVals = currentState.providerState.optedInVals.get(consumer)
             pure val newOptedInVals = optedInVals.exclude(Set(validator))