# HG changeset patch
# User Andrew Innes <andrewi@gnu.org>
# Date 973460329 0
# Node ID 3ee9bf6f1dd2a5b06f4ae9162a2a74c04f69046f
# Parent  001167797942a24b04e46ecd4ab130456827bb68
(w32_build_number): Add extern.

diff -r 001167797942 -r 3ee9bf6f1dd2 src/w32heap.h
--- a/src/w32heap.h	Sun Nov 05 21:38:09 2000 +0000
+++ b/src/w32heap.h	Sun Nov 05 21:38:49 2000 +0000
@@ -55,6 +55,7 @@
 extern BOOL   	      using_dynamic_heap;
 extern int    	      w32_major_version;
 extern int    	      w32_minor_version;
+extern int    	      w32_build_number;
 
 enum {
   OS_WIN95 = 1,