(output): Do not output "#include <stdio.h>"; that is bison.simple's

job.  stdio.h should be included only if necessary, to avoid
infringing on the user name space when possible.

diff --git a/src/output.c b/src/output.c
index 2013bf097b6fa18d70f0d56fca7d4bfd811b3ccc..428dc1f6862b517762e3582964b77e2f341e1efd 100644 (file)
--- a/src/output.c
+++ b/src/output.c
@@ -1,5 +1,7 @@
 /* Output the generated parsing program for bison,
 /* Output the generated parsing program for bison,

-   Copyright 1984, 1986, 1989, 1992, 2000, 2001 Free Software Foundation, Inc.
+
+   Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001 Free Software
+   Foundation, Inc.

 
    This file is part of Bison, the GNU Compiler Compiler.
 
 
    This file is part of Bison, the GNU Compiler Compiler.
 


@@ -1277,9 +1279,6 @@ output (void)
     obstack_fgrow1 (&table_obstack, "#include %s\n",
                    quotearg_style (c_quoting_style, attrsfile));
 
     obstack_fgrow1 (&table_obstack, "#include %s\n",
                    quotearg_style (c_quoting_style, attrsfile));
 

-  if (!no_parser_flag)
-    obstack_sgrow (&table_obstack, "#include <stdio.h>\n\n");
-

   LIST_FREE (core, first_state);
   output_defines ();
   output_token_translations ();
   LIST_FREE (core, first_state);
   output_defines ();
   output_token_translations ();