Remove unused timedout val

cosmos · Oct 13, 2023 · d422cb4 · d422cb4
1 parent 455696a
commit d422cb4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tests/difference/core/quint_model/ccv.qnt b/tests/difference/core/quint_model/ccv.qnt
@@ -280,8 +280,6 @@ module ccv {
             (Err("No outstanding packets to deliver"), false)
         } else {
             val packet = currentState.consumerStates.get(sender).outstandingPacketsToProvider.head()
-            // if the packet has timed out, drop the consumer. its state doesn't matter anymore
-            val timeout = CcvTimeout.get(sender)
             if(packet.sendingTime + CcvTimeout.get(sender) < currentState.providerState.chainState.lastTimestamp) {
                 // drop consumer
                 val result = stopConsumers(