# HG changeset patch
# User Geoff Voelker <voelker@cs.washington.edu>
# Date 848386145 0
# Node ID ec300a10e407d1e96e1e3a88018a532ae8f4890c
# Parent  481b7874a1e9d63a1e8a81555016d3967ef1071c
(init_display) [HAVE_NTGUI]: Use w32 for window-system.

diff -r 481b7874a1e9 -r ec300a10e407 src/dispnew.c
--- a/src/dispnew.c	Tue Nov 19 04:59:23 1996 +0000
+++ b/src/dispnew.c	Tue Nov 19 06:49:05 1996 +0000
@@ -2491,7 +2491,7 @@
 #ifdef HAVE_NTGUI
   if (!inhibit_window_system) 
     {
-      Vwindow_system = intern ("win32");
+      Vwindow_system = intern ("w32");
       Vwindow_system_version = make_number (1);
       return;
     }