1 files changed, 0 insertions, 1 deletions
diff --git a/src/w32.c b/src/w32.c
index 743eac99e7c..0b7006c8639 100644
--- a/src/w32.c
+++ b/src/w32.c
@@ -877,7 +877,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.  */

diff --git a/src/w32.c b/src/w32.c index 743eac99e7c..0b7006c8639 100644 --- a/src/w32.c +++ b/src/w32.c
@@ -877,7 +877,6 @@ w32_get_resource (key, lpdwtype)
877	LPBYTE lpvalue;	877	LPBYTE lpvalue;
878	HKEY hrootkey = NULL;	878	HKEY hrootkey = NULL;
879	DWORD cbData;	879	DWORD cbData;
880	BOOL ok = FALSE;
881		880
882	/* Check both the current user and the local machine to see if	881	/* Check both the current user and the local machine to see if
883	we have any resources. */	882	we have any resources. */