diff --git a/tests/difference/core/quint_model/ccv_test.qnt b/tests/difference/core/quint_model/ccv_test.qnt index b21653ae6f..4262c4c386 100644 --- a/tests/difference/core/quint_model/ccv_test.qnt +++ b/tests/difference/core/quint_model/ccv_test.qnt @@ -218,7 +218,7 @@ module ccv_test { Set("chain3"), Set() ) - res._2 == "cannot start a consumer that is stopped or running" + res._2 == "cannot start a consumer that is stopped or already a consumer" } run ConsumerStatusMapAlreadyStoppedTest =