changeset 16887:dd6cbc8b53e8

Use new name w32gui.h
author Geoff Voelker <voelker@cs.washington.edu>
date Mon, 20 Jan 1997 00:58:23 +0000
parents c686d4f3728a
children 380c7e461c14
files src/dispextern.h
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/dispextern.h	Mon Jan 20 00:43:16 1997 +0000
+++ b/src/dispextern.h	Mon Jan 20 00:58:23 1997 +0000
@@ -34,7 +34,7 @@
 #endif
 
 #ifdef HAVE_NTGUI
-#include "win32.h"
+#include "w32gui.h"
 #endif
 
 #ifdef HAVE_FACES