diff --git a/src/version.h b/src/version.h
index 1a185b6c409bd3fcfae4a0d2a54be3c96ccd56eb..81418ddf1692d620e6d1a30e244e86e6fdcc5b1d 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.72 1999/11/11 18:16:05 build Exp $ */
+/* $Id: version.h,v 1.73 1999/11/11 18:17:39 build Exp $ */
 
 #define PIKE_MAJOR_VERSION 0
 #define PIKE_MINOR_VERSION 7
-#define PIKE_BUILD_VERSION 70
+#define PIKE_BUILD_VERSION 71
 
 /* Prototypes begin here */
 void f_version(INT32 args);