# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738388180 0
# Node ID cd1bbe721cb5789b4e5e5c2b9c276aa725cc7f59
# Parent  461470daafaad8e147dc390f9b13da3826c8e979
(POINTER): Always use char *.

diff -r 461470daafaa -r cd1bbe721cb5 src/ralloc.c
--- a/src/ralloc.c	Wed May 26 03:16:57 1993 +0000
+++ b/src/ralloc.c	Wed May 26 03:49:40 1993 +0000
@@ -33,6 +33,7 @@
 /* The important properties of this type are that 1) it's a pointer, and
    2) arithmetic on it should work as if the size of the object pointed
    to has a size of 1.  */
+#if 0 /* Arithmetic on void* is a GCC extension.  */
 #ifdef __STDC__
 typedef void *POINTER;
 #else
@@ -44,6 +45,10 @@
 typedef char *POINTER;
 
 #endif
+#endif /* 0 */
+
+/* Unconditionally use char * for this.  */
+typedef char *POINTER;
 
 typedef unsigned long SIZE;