From fa233d655ff0a86073f47bdebe7fce5054b7c6b7 Mon Sep 17 00:00:00 2001 From: Philip Offtermatt Date: Thu, 21 Sep 2023 10:12:59 +0200 Subject: [PATCH] Fix type in Quint --- tests/difference/core/quint_model/ccv.qnt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/difference/core/quint_model/ccv.qnt b/tests/difference/core/quint_model/ccv.qnt index d8e6bcbece..ac5fe631a0 100644 --- a/tests/difference/core/quint_model/ccv.qnt +++ b/tests/difference/core/quint_model/ccv.qnt @@ -351,7 +351,7 @@ module ccv_logic { // receives a given packet on the provider. The arguments are the consumer chain that sent the packet, and the packet itself. // To receive a packet, add it to the list of received maturations. pure def recvPacketOnProvider(currentState: ProtocolState, sender: Chain, packet: VSCMaturedPacket): Result = { - if (not(isCurrentlyConsumer(sender, currentState))) { + if (not(isCurrentlyConsumer(sender, currentState.providerState))) { Err("Sender is not currently a consumer - must have 'running' status!") } else { val currentReceivedMaturations = currentState.providerState.receivedMaturations