Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

===================================================================
RCS file: /ftp/cvs/cvsroot/src/lib/libm/src/s_isinff.c,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- src/lib/libm/src/s_isinff.c	1995/05/11 23:03:44	1.3
+++ src/lib/libm/src/s_isinff.c	1997/10/09 11:32:22	1.4
@@ -3,8 +3,9 @@
  * Public domain.
  */
 
+#include <sys/cdefs.h>
 #if defined(LIBM_SCCS) && !defined(lint)
-static char rcsid[] = "$NetBSD: s_isinff.c,v 1.3 1995/05/11 23:03:44 jtc Exp $";
+__RCSID("$NetBSD: s_isinff.c,v 1.4 1997/10/09 11:32:22 lukem Exp $");
 #endif
 
 /*