fix nits in MBT model after merging #1676 from main

cosmos · Mar 13, 2024 · 5d54702 · 5d54702
1 parent c689111
commit 5d54702
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
@@ -255,7 +255,7 @@ module ccv_model {
     // As a a `Run`, it is only used in tests, not during simulation or verification.
     run EndProviderEpoch(
         timeAdvancement: Time,
-        consumersToStart: Set[Chain],
+        consumersToStart: Set[ConsumerAdditionMsg],
         consumersToStop: Set[Chain]
     ): bool =
         epochLength.reps(