(w32_get_resource): Remove unused variable `ok'.

2 files changed, 1 insertions, 1 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index aab2b3e6210..e2dd2a4f59f 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,7 @@
 2007-10-25  Juanma Barranquero  <lekktu@gmail.com>
 
         * w32.c (init_environment): Fix tiny memory leak.
+        (w32_get_resource): Remove unused variable `ok'.
 
 2007-10-25  Stefan Monnier  <monnier@iro.umontreal.ca>
 
diff --git a/src/w32.c b/src/w32.c
index 16bec44f610..d9d11c3094a 100644
--- a/src/w32.c
+++ b/src/w32.c
@@ -914,7 +914,6 @@ w32_get_resource (key, lpdwtype)
   LPBYTE lpvalue;
   HKEY hrootkey = NULL;
   DWORD cbData;
-  BOOL ok = FALSE;
 
   /* Check both the current user and the local machine to see if
      we have any resources.  */