From 6876e3178d48aefe396f076ea8013d438d79a268 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 19 May 2017 23:31:50 +0200 Subject: 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, -- cgit v1.2.3