diff --git a/src/pike_types.c b/src/pike_types.c
index 18435a06b497e4be4c449fed75b36ecb5b41bbe0..e8237b7cbfb04ff724f94835fd9a851f40584039 100644
--- a/src/pike_types.c
+++ b/src/pike_types.c
@@ -5,7 +5,7 @@
 \*/
 /**/
 #include "global.h"
-RCSID("$Id: pike_types.c,v 1.136 2000/08/17 19:00:25 grubba Exp $");
+RCSID("$Id: pike_types.c,v 1.137 2000/09/03 22:01:22 mast Exp $");
 #include <ctype.h>
 #include "svalue.h"
 #include "pike_types.h"
@@ -3400,6 +3400,7 @@ char *get_name_of_type(int t)
     case T_TYPE: return "type";
     case T_ZERO: return "zero";
     case T_VOID: return "void";
+    case T_MAPPING_DATA: return "mapping_data";
     default: return "unknown";
   }
 }