(encode_terminal_code): Fix previous change.

diff --git a/src/w32console.c b/src/w32console.c
index f30d66aeda580f8f07be52126bdd8c4f03fc7614..a77dc79230625ddc5f917c7f2900fe13629de76e 100644 (file)
--- a/src/w32console.c
+++ b/src/w32console.c
@@ -295,7 +295,7 @@ w32con_insert_glyphs (register struct glyph *start, register int len)
 }
 
 extern unsigned char *encode_terminal_code P_ ((struct glyph *, int, 
-                                               struct coding-system *));
+                                               struct coding_system *));
 
 static void
 w32con_write_glyphs (register struct glyph *string, register int len)