# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 868406263 0
# Node ID a30375801ad7232abb2edf30d37be8a4df43b537
# Parent  370715716969cef74d9c15d717dcdd4e261ce13d
Use #ifdef to test STDC_HEADERS.

diff -r 370715716969 -r a30375801ad7 src/doprnt.c
--- a/src/doprnt.c	Tue Jul 08 23:52:18 1997 +0000
+++ b/src/doprnt.c	Tue Jul 08 23:57:43 1997 +0000
@@ -25,7 +25,7 @@
 #include <stdio.h>
 #include <ctype.h>
 
-#if STDC_HEADERS
+#ifdef STDC_HEADERS
 #include <float.h>
 #endif