Update doc

cosmos · Oct 13, 2023 · 6ed82c8 · 6ed82c8
1 parent d422cb4
commit 6ed82c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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