diff options
Diffstat (limited to 'gcc/genopinit.c')
| -rw-r--r-- | gcc/genopinit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/genopinit.c b/gcc/genopinit.c index 0320c29fc0d..7944dec03cb 100644 --- a/gcc/genopinit.c +++ b/gcc/genopinit.c @@ -347,7 +347,7 @@ main (argc, argv) from the machine description file `md'. */\n\n"); printf ("#include \"config.h\"\n"); - printf ("#include <stdio.h>\n"); + printf ("#include \"system.h\"\n"); printf ("#include \"rtl.h\"\n"); printf ("#include \"flags.h\"\n"); printf ("#include \"insn-flags.h\"\n"); |