Skip to content

Commit

Permalink
Fix type in Quint
Browse files Browse the repository at this point in the history
  • Loading branch information
p-offtermatt committed Sep 21, 2023
1 parent 4f77d68 commit fa233d6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/difference/core/quint_model/ccv.qnt
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit fa233d6

Please sign in to comment.