# HG changeset patch
# User Kenichi Handa <handa@m17n.org>
# Date 1101899182 0
# Node ID 65309f66a561aa0e98ad6f36e10df8b61fd6d76d
# Parent  3c68ccdf35836625559da82ce4157836695e2e91
(encode_terminal_code): Fix previous change.

diff -r 3c68ccdf3583 -r 65309f66a561 src/w32console.c
--- a/src/w32console.c	Wed Dec 01 10:50:54 2004 +0000
+++ b/src/w32console.c	Wed Dec 01 11:06:22 2004 +0000
@@ -295,7 +295,7 @@
 }
 
 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)