From 967d83e7e4b0ff36f309c0266ee91e75e7e8f6b5 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Mon, 18 Nov 2024 06:48:45 +0100
Subject: [PATCH] Fix comment.

---
 src/App/Message/AuthenticationDaemon.purs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/App/Message/AuthenticationDaemon.purs b/src/App/Message/AuthenticationDaemon.purs
index 8148f0f..f28d848 100644
--- a/src/App/Message/AuthenticationDaemon.purs
+++ b/src/App/Message/AuthenticationDaemon.purs
@@ -395,7 +395,7 @@ data RequestMessage
   | MkSearchUser           SearchUser           -- 12
   | MkAuthByToken          AuthByToken          -- 15
   | MkNewEmailAddress      NewEmailAddress      -- 16
-  | MkNewEmailAddressToken NewEmailAddressToken -- 16
+  | MkNewEmailAddressToken NewEmailAddressToken -- 17
   | MkKeepAlive            KeepAlive            -- 250
 
 -- All possible answers from the authentication daemon (authd).