diff --git a/src/_zkapauthorizer/tests/test_model.py b/src/_zkapauthorizer/tests/test_model.py index e2c2c0a69de9cddbf32a0f4e5c37d1f67202da6a..93c91886909c44d4c4c73756d62baf3007775eb3 100644 --- a/src/_zkapauthorizer/tests/test_model.py +++ b/src/_zkapauthorizer/tests/test_model.py @@ -465,7 +465,7 @@ class UnblindedTokenStateMachine(RuleBasedStateMachine): def get_passes(self, num_passes): """ Some passes can be requested from the store. The resulting passes are not - in use, spent, or invalid. + spent, invalid, or already in-use. """ assume(num_passes <= self.available) tokens = self.configless.store.get_unblinded_tokens(num_passes)