diff --git a/src/version.h b/src/version.h
index c88970918f4428d01bd820febd46131bcc22cbc9..b37a963b2c7d7be05bcd22c557e134e05002a348 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.308 2002/05/01 21:26:35 mast Exp $ */
+/* $Id: version.h,v 1.309 2002/05/05 16:25:29 nilsson Exp $ */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 3
-#define PIKE_BUILD_VERSION 41
+#define PIKE_BUILD_VERSION 42
 
 /* Prototypes begin here */
 void f_version(INT32 args);