From 455696a14fb6d1e1301112c540f44de421ecd480 Mon Sep 17 00:00:00 2001 From: Philip Offtermatt Date: Fri, 13 Oct 2023 15:32:30 +0200 Subject: [PATCH] Adjust docstring --- 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 e1d78c273b..a11852294c 100644 --- a/tests/difference/core/quint_model/ccv.qnt +++ b/tests/difference/core/quint_model/ccv.qnt @@ -267,7 +267,7 @@ module ccv { } // Delivers the next queued VscMaturedPacket from a consumer chain to the provider chain. - // Only argument is the consumer chain, from which the packet will be delivered. + // Arguments are the currentState and the the consumer chain, from which the packet will be delivered. // If this packet will time out on the provider on delivery, // the consumer will be dropped. // The first return is the result of the operation, the second result is a boolean