From d422cb49b90a50ee6502c5e9daa31ce5e12790af Mon Sep 17 00:00:00 2001
From: Philip Offtermatt <p.offtermatt@gmail.com>
Date: Fri, 13 Oct 2023 15:36:04 +0200
Subject: [PATCH] Remove unused timedout val

---
 tests/difference/core/quint_model/ccv.qnt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tests/difference/core/quint_model/ccv.qnt b/tests/difference/core/quint_model/ccv.qnt
index a11852294c..9a17510bfe 100644
--- 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(