From 69945ad6fa2a81be82b55ee4a09819dba4cc4ee8 Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Thu, 28 May 2020 10:08:53 -0400
Subject: [PATCH] slightly clarify wording
---
src/_zkapauthorizer/tests/test_model.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/_zkapauthorizer/tests/test_model.py b/src/_zkapauthorizer/tests/test_model.py
index e2c2c0a..93c9188 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)
--
GitLab