# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1154782885 0
# Node ID 875a47d81ba56c0692bd21ee860195388c351b12
# Parent  95d41ccb4448137a6f6aa51b45979e6ac848179c
Add prototype for w32_valid_pointer_p.

diff -r 95d41ccb4448 -r 875a47d81ba5 src/w32.h
--- a/src/w32.h	Sat Aug 05 13:01:10 2006 +0000
+++ b/src/w32.h	Sat Aug 05 13:01:25 2006 +0000
@@ -110,6 +110,9 @@
 /* Equivalent of strerror for W32 error codes.  */
 extern char * w32_strerror (int error_no);
 
+/* Validate a pointer.  */
+extern int w32_valid_pointer_p (void *, int);
+
 /* Get long (aka "true") form of file name, if it exists.  */
 extern BOOL w32_get_long_filename (char * name, char * buf, int size);