Update tests/mbt/model/ccv_model.qnt

Co-authored-by: insumity <[email protected]>
cosmos · Dec 8, 2023 · 5d97774 · 5d97774
1 parent d103bda
commit 5d97774
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/mbt/model/ccv_model.qnt b/tests/mbt/model/ccv_model.qnt
@@ -195,7 +195,7 @@ module ccv_model {
         // but it's probably not much faster than just trying and failing.
         all {
             runningConsumers.size() > 0, // ensure there is a running consumer, otherwise this action does not make sense
-            nondet recciver = oneOf(runningConsumers)
+            nondet receiver = oneOf(runningConsumers)
             DeliverVscPacket(recciver),
         },
     }