diff options
Diffstat (limited to 'sail/pl_1.c')
| -rw-r--r-- | sail/pl_1.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/sail/pl_1.c b/sail/pl_1.c index c99d76bc..3397ddfc 100644 --- a/sail/pl_1.c +++ b/sail/pl_1.c @@ -1,4 +1,4 @@ -/* $NetBSD: pl_1.c,v 1.15 2001/01/16 02:44:43 cgd Exp $ */ +/* $NetBSD: pl_1.c,v 1.16 2001/02/05 01:10:10 christos Exp $ */ /* * Copyright (c) 1983, 1993 @@ -38,7 +38,7 @@ #if 0 static char sccsid[] = "@(#)pl_1.c 8.1 (Berkeley) 5/31/93"; #else -__RCSID("$NetBSD: pl_1.c,v 1.15 2001/01/16 02:44:43 cgd Exp $"); +__RCSID("$NetBSD: pl_1.c,v 1.16 2001/02/05 01:10:10 christos Exp $"); #endif #endif /* not lint */ @@ -51,10 +51,6 @@ __RCSID("$NetBSD: pl_1.c,v 1.15 2001/01/16 02:44:43 cgd Exp $"); #include "extern.h" #include "player.h" -void leave(int) __attribute__((__noreturn__)); -void choke(int) __attribute__((__noreturn__)); -void child(int); - /* * If we get here before a ship is chosen, then ms == 0 and * we don't want to update the score file, or do any Write's either. |