summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-05-19 23:31:50 +0200
committerChristian Grothoff <christian@grothoff.org>2017-05-19 23:31:50 +0200
commit6876e3178d48aefe396f076ea8013d438d79a268 (patch)
tree944346a1a9eb34fd3923678b43a70d2d019a6e8c /doc
parentb4410ac5f684ff04529935d268d4721532de84df (diff)
downloadexchange-6876e3178d48aefe396f076ea8013d438d79a268.tar.gz
exchange-6876e3178d48aefe396f076ea8013d438d79a268.tar.bz2
exchange-6876e3178d48aefe396f076ea8013d438d79a268.zip
use 'fresh' to clarify
Diffstat (limited to 'doc')
-rw-r--r--doc/paper/taler.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex
index ce40fd94..7abe80d6 100644
--- a/doc/paper/taler.tex
+++ b/doc/paper/taler.tex
@@ -1274,7 +1274,7 @@ exchange.
\begin{theorem}
Let $C$ denote a coin controlled by users Alice and Bob.
-Suppose Bob creates a coin $C'$ from $C$ following the refresh protocol.
+Suppose Bob creates a fresh coin $C'$ from $C$ following the refresh protocol.
Assuming the exchange and Bob operated the refresh protocol correctly,
and that the exchange continues to operate the linking protocol
in \S\ref{subsec:linking} correctly,