(char*) cast for realloc

1 files changed, 8 insertions, 1 deletions

diff --git a/flex.skl b/flex.skl
index 431b408..218e652 100644
--- a/flex.skl
+++ b/flex.skl
@@ -1480,7 +1480,14 @@ void *ptr;
 yy_size_t size;
 #endif
 	{
-	return (void *) realloc( ptr, size );
+	/* The cast to (char *) in the following accommodates both
+	 * implementations that use char* generic pointers, and those
+	 * that use void* generic pointers.  It works with the latter
+	 * because both ANSI C and C++ allow castless assignment from
+	 * any pointer type to void*, and deal with argument conversions
+	 * as though doing an assignment.
+	 */
+	return (void *) realloc( (char *) ptr, size );
 	}
 
 #ifdef YY_USE_PROTOS