diff options
Diffstat (limited to 'games/jfk/files/patch-src-server-person_s.cc')
| -rw-r--r-- | games/jfk/files/patch-src-server-person_s.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/games/jfk/files/patch-src-server-person_s.cc b/games/jfk/files/patch-src-server-person_s.cc new file mode 100644 index 000000000000..aab45e9d2642 --- /dev/null +++ b/games/jfk/files/patch-src-server-person_s.cc @@ -0,0 +1,8 @@ +--- src/server/person_s.cc.orig Tue Oct 21 16:50:02 2003 ++++ src/server/person_s.cc Tue Oct 21 16:50:15 2003 +@@ -1,4 +1,5 @@ + #include <algorithm> ++#include <cassert> + #include <cstdlib> + #include <sstream> + #include <string> |