(w32_get_resource): Remove unused variable `ok'.

diff --git a/src/ChangeLog b/src/ChangeLog
index aab2b3e..e2dd2a4 100644 (file)
--- 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 16bec44..d9d11c3 100644 (file)
--- 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.  */