Fix typo in previous comment.

diff --git a/src/print.c b/src/print.c
index 617ee662e798f8db15f42304bef8e7c59f3a39e8..6a331cb11f29b9a7301566e6c239c6e780d77b65 100644 (file)
--- a/src/print.c
+++ b/src/print.c
@@ -738,7 +738,7 @@ to make it write to the debugging output.  */)
 /* This function is never called.  Its purpose is to prevent
    print_output_debug_flag from being optimized away.  */
 
-exterr void debug_output_compilation_hack (int) EXTERNALLY_VISIBLE;
+extern void debug_output_compilation_hack (int) EXTERNALLY_VISIBLE;
 void
 debug_output_compilation_hack (int x)
 {