From e730ebf31017035fe88d43c3c552551c017094dc Mon Sep 17 00:00:00 2001 From: Philip Offtermatt Date: Wed, 6 Dec 2023 17:57:14 +0100 Subject: [PATCH] Remove outdated doc line --- tests/mbt/model/ccv.qnt | 1 - 1 file changed, 1 deletion(-) diff --git a/tests/mbt/model/ccv.qnt b/tests/mbt/model/ccv.qnt index 8249c824ea..99e1f00229 100644 --- a/tests/mbt/model/ccv.qnt +++ b/tests/mbt/model/ccv.qnt @@ -200,7 +200,6 @@ module ccv { // Things that are not modelled: // * Reward distribution - // * Starting/Stopping chains during execution // * Slashes // Things that explicitly are modelled: