diff --git a/src/scripts/nightly/patches/All/pr.c.patch b/src/scripts/nightly/patches/All/pr.c.patch index 1dfc89ca..0d18f52b 100644 --- a/src/scripts/nightly/patches/All/pr.c.patch +++ b/src/scripts/nightly/patches/All/pr.c.patch @@ -1,7 +1,7 @@ Index: empserver/src/lib/subs/pr.c ---- empserver/src/lib/subs/pr.c 14 Jun 2005 05:01:26 -0000 1.25 -+++ empserver/src/lib/subs/pr.c 15 Jun 2005 12:46:17 -0000 -@@ -63,6 +63,13 @@ +--- empserver/src/lib/subs/pr.c 24 Jul 2005 17:26:21 -0000 1.27 ++++ empserver/src/lib/subs/pr.c 11 Aug 2005 09:14:25 -0000 +@@ -66,6 +66,13 @@ static void upr_player(struct player *pl, int id, char *buf); static void outid(struct player *pl, int n); @@ -15,7 +15,7 @@ Index: empserver/src/lib/subs/pr.c /* * Print to current player similar to printf(). * Use printf-style FORMAT with the optional arguments. -@@ -338,7 +345,7 @@ +@@ -341,7 +348,7 @@ void prprompt(int min, int btu) {