diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex index 629dd8358..706cf70f3 100644 --- a/doc/paper/taler.tex +++ b/doc/paper/taler.tex @@ -671,7 +671,7 @@ $\widetilde{C} := S_K(C_p)$: \item The merchant gives $(\mathcal{D}, p, r)$ to the mint, revealing his payment information. -\item The mint validates $\mathcal{D}$ and detects double spending. +\item The mint validates $\mathcal{D}$ and checks for double spending. If the coin has been involved in previous transactions, it sends an error with the records from the previous transactions back to the merchant.