diff --git a/src/version.h b/src/version.h
index 74748e0de73d811c33b3a2536e722f2973e1f003..9d5f73692b5e06c030a1935b9ce62a2887057482 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.195 2000/05/28 21:24:23 noring Exp $ */
+/* $Id: version.h,v 1.196 2000/07/04 12:18:20 noring Exp $ */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 1
-#define PIKE_BUILD_VERSION 4
+#define PIKE_BUILD_VERSION 5
 
 /* Prototypes begin here */
 void f_version(INT32 args);