From 7ce84e123a63e4d2b523e2bc15515d3d6cf988d6 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 17 Sep 2018 12:00:09 +0200
Subject: simplfiy, registered seems unnecessary here

---
 taler-fc19/paper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex
index 5d31e40..abfcecf 100644
--- a/taler-fc19/paper.tex
+++ b/taler-fc19/paper.tex
@@ -591,7 +591,7 @@ money or privacy.
   \setlength\itemsep{0em}
   \item $(\V{sksE}, \V{pksE}) \leftarrow \mathrm{ExchangeKeygen}(1^\lambda, 1^\kappa, M)$ 
   \item $\V{pkCustomer} \leftarrow {\cal A}^{\oraSet{NoShare}}(\V{pksE})$
-  \item Return $0$ if $\V{pkCustomer}$ is a corrupted, registered user.
+  \item Return $0$ if $\V{pkCustomer}$ is a corrupted user.
   \item \label{game:conserv:run} Run $\algo{WithdrawPickup}$ for each withdraw identifier $\V{wid}$
     and $\algo{RefreshPickup}$ for each refresh identifier $\V{rid}$ that the user
     has recorded in $\V{withdrawIds}$ and $\V{refreshIds}$.  Run $\algo{Deposit}$
-- 
cgit v1.2.3