From 6876e3178d48aefe396f076ea8013d438d79a268 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 19 May 2017 23:31:50 +0200
Subject: [PATCH] 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 ce40fd948..7abe80d63 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,