Index: global_typedefs.h
===================================================================
--- global_typedefs.h	(revision 3398)
+++ global_typedefs.h	(revision 3399)
@@ -38,7 +38,6 @@
 #ifndef XtSpecificationRelease
 /*typedef unsigned int	Pixel;*/
 typedef char *String;
-typedef short dimension_t;
 #endif
 typedef unsigned char BYTE;