# HG changeset patch
# User Geoff Voelker <voelker@cs.washington.edu>
# Date 853721903 0
# Node ID dd6cbc8b53e864b8f922863868dbf021b23b28aa
# Parent  c686d4f3728ac729fa6d23ac5974cd6abb42e5fc
Use new name w32gui.h

diff -r c686d4f3728a -r dd6cbc8b53e8 src/dispextern.h
--- 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