diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/print.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/print.c b/src/print.c index 617ee662e79..6a331cb11f2 100644 --- a/src/print.c +++ b/src/print.c | |||
| @@ -738,7 +738,7 @@ to make it write to the debugging output. */) | |||
| 738 | /* This function is never called. Its purpose is to prevent | 738 | /* This function is never called. Its purpose is to prevent |
| 739 | print_output_debug_flag from being optimized away. */ | 739 | print_output_debug_flag from being optimized away. */ |
| 740 | 740 | ||
| 741 | exterr void debug_output_compilation_hack (int) EXTERNALLY_VISIBLE; | 741 | extern void debug_output_compilation_hack (int) EXTERNALLY_VISIBLE; |
| 742 | void | 742 | void |
| 743 | debug_output_compilation_hack (int x) | 743 | debug_output_compilation_hack (int x) |
| 744 | { | 744 | { |