diff --git a/src/version.h b/src/version.h
index 527ad4df626c4a2ed0c63d233e4f40226dbf61ce..cc77c7d946fba02dca685b16f3537d9ff6f275b4 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.114 2000/02/21 23:08:22 peter Exp $ */
+/* $Id: version.h,v 1.115 2000/02/22 22:31:29 peter Exp $ */
 
 #define PIKE_MAJOR_VERSION 0
 #define PIKE_MINOR_VERSION 7
-#define PIKE_BUILD_VERSION 112
+#define PIKE_BUILD_VERSION 113
 
 /* Prototypes begin here */
 void f_version(INT32 args);