diff options
| author | Markus Uhlin <markus@nifty-networks.net> | 2023-12-31 20:52:26 +0100 |
|---|---|---|
| committer | Markus Uhlin <markus@nifty-networks.net> | 2023-12-31 20:52:26 +0100 |
| commit | cfacd9938a8c9ffe5d791656ea7495c8bba3e286 (patch) | |
| tree | 815fab81dac214d39f65f7031115f70fda6fb3c6 /FICS/playerdb.c | |
| parent | 9f4b71a0d37f35034db87d56932386fd169b2bf5 (diff) | |
Documeted unreferenced variable
Diffstat (limited to 'FICS/playerdb.c')
| -rw-r--r-- | FICS/playerdb.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/FICS/playerdb.c b/FICS/playerdb.c index a7481bc..5881c02 100644 --- a/FICS/playerdb.c +++ b/FICS/playerdb.c @@ -346,6 +346,9 @@ ReadV1PlayerFmt(int p, player *pp, FILE *fp, char *file, int version) int bs, ss, ws, ls, bugs; int i, size_cens, size_noplay, size_not, size_gnot, size_chan, len; + // XXX: not referenced + (void) version; + /* * Name */ |