diff src/w32console.c @ 16593:4ed80eda6fac

Use new names for w32 files
author Geoff Voelker <voelker@cs.washington.edu>
date Tue, 19 Nov 1996 07:04:49 +0000
parents 481b7874a1e9
children d1d4d81f9ece
line wrap: on
line diff
--- a/src/w32console.c	Tue Nov 19 07:04:01 1996 +0000
+++ b/src/w32console.c	Tue Nov 19 07:04:49 1996 +0000
@@ -34,7 +34,7 @@
 #include "disptab.h"
 #include "termhooks.h"
 
-#include "ntinevt.h"
+#include "w32inevt.h"
 
 /* from window.c */
 extern Lisp_Object Frecenter ();