(player_login): Replace pr_player() by equivalent pr_id().

[empserver] / include / prototypes.h

diff --git a/include/prototypes.h b/include/prototypes.h
index 788d5943f2bd7306853865f7d71633d69bd8489c..224f0a757d561455b3cc38a9967f3b01de266889 100644 (file)
--- a/include/prototypes.h
+++ b/include/prototypes.h
@@ -600,9 +600,6 @@ extern void pr_inform(struct player *, char *, ...)
                ATTRIBUTE((format (printf, 2, 3)));
 extern void pr_wall(char *, ...)
                ATTRIBUTE((format (printf, 1, 2)));
-extern void pr_player(struct player *pl, int id, s_char *buf);
-extern void upr_player(struct player *pl, int id, char *buf);
-extern void pr_hilite(s_char *buf);
 extern void prredir(char *redir);
 extern void prexec(char *file);
 extern void prprompt(int min, int btu);