diff --git a/tests/mbt/model/ccv_model.qnt b/tests/mbt/model/ccv_model.qnt index 3dc0ea1861..a4f1ad4cf3 100644 --- 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(