[GNUnet-SVN] [taler-exchange] branch master updated: use 'fresh' to clarify

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository exchange.

The following commit(s) were added to refs/heads/master by this push:
     new 6876e31  use 'fresh' to clarify
6876e31 is described below

commit 6876e3178d48aefe396f076ea8013d438d79a268
Author: Christian Grothoff <address@hidden>
AuthorDate: Fri May 19 23:31:50 2017 +0200

    use 'fresh' to clarify
---
 doc/paper/taler.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex
index ce40fd9..7abe80d 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,

-- 
To stop receiving notification emails like this one, please contact
address@hidden