diff --git a/src/version.h b/src/version.h
index a3e2d4f0f8709258c0f5a58ad27a34a9920b6766..fcfdc4e55c981a09f8a20987c87e1a16248302fd 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.192 2000/04/28 17:24:49 noring Exp $ */
+/* $Id: version.h,v 1.193 2000/05/11 12:26:51 noring Exp $ */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 1
-#define PIKE_BUILD_VERSION 1
+#define PIKE_BUILD_VERSION 2
 
 /* Prototypes begin here */
 void f_version(INT32 args);