diff options
Diffstat (limited to 'sail/extern.h')
| -rw-r--r-- | sail/extern.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sail/extern.h b/sail/extern.h index 80a274f5..8cd2ccd1 100644 --- a/sail/extern.h +++ b/sail/extern.h @@ -1,4 +1,4 @@ -/* $NetBSD: extern.h,v 1.10 1999/09/08 21:17:58 jsm Exp $ */ +/* $NetBSD: extern.h,v 1.11 1999/09/08 21:45:30 jsm Exp $ */ /* * Copyright (c) 1983, 1993 @@ -372,7 +372,7 @@ void choke __P((int)) __attribute__((__noreturn__)); void child __P((int)); /* pl_2.c */ -void play __P((void)); +void play __P((void)) __attribute__((__noreturn__)); /* pl_3.c */ void acceptcombat __P((void)); |