Fix handling username change during game

[xboard.git] / backend.h

diff --git a/backend.h b/backend.h
index 2b2a2a7..c35d2bc 100644 (file)
--- a/backend.h
+++ b/backend.h
@@ -207,6 +207,7 @@ void NewSettingEvent P((int option, char *command, int value));
 void DoEcho P((void));
 void DontEcho P((void));
 void TidyProgramName P((char *prog, char *host, char *buf));
+void SetGameInfo P((void));
 void AskQuestionEvent P((char *title, char *question,
                         char *replyPrefix, char *which));
 Boolean ParseOneMove P((char *move, int moveNum,