diff --git a/src/version.h b/src/version.h
index 666f86a808f2e698cc0ccc7bf0a1260567d3f7ed..f96b6c11ed6a8e6937058ae0f34c6d791ab76ffa 100644
--- a/src/version.h
+++ b/src/version.h
@@ -4,11 +4,11 @@
 ||| See the files COPYING and DISCLAIMER for more information.
 \*/
 
-/* $Id: version.h,v 1.199 2000/10/02 12:29:45 grubba Exp $ */
+/* $Id: version.h,v 1.200 2000/10/02 12:56:24 grubba Exp $ */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 1
-#define PIKE_BUILD_VERSION 8
+#define PIKE_BUILD_VERSION 9
 
 /* Prototypes begin here */
 void f_version(INT32 args);