From 6ed82c847d92bec121dfdd7c2cd54854bd77d76d Mon Sep 17 00:00:00 2001 From: Philip Offtermatt Date: Fri, 13 Oct 2023 15:37:11 +0200 Subject: [PATCH] Update doc --- 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 9a17510bfe..5ea3d8f4a7 100644 --- a/tests/difference/core/quint_model/ccv.qnt +++ b/tests/difference/core/quint_model/ccv.qnt @@ -315,7 +315,7 @@ module ccv { } // Delivers the next queued VscPacket from the provider chain to a consumer chain. - // Only argument is the consumer chain, to which the packet will be delivered. + // Arguments are the current state and the consumer chain, to which the packet will be delivered. // If this packet will time out on the consumer on delivery, // the consumer will be dropped. // The first return is the result of the operation, the second result is a boolean