1 files changed, 4 insertions, 0 deletions

diff --git a/lib-src/sorted-doc.c b/lib-src/sorted-doc.c
index 0ba419d4907..cb521866ab5 100644
--- a/lib-src/sorted-doc.c
+++ b/lib-src/sorted-doc.c
@@ -8,6 +8,10 @@
 #include <stdio.h>
 #include <ctype.h>
 
+#ifdef __GNU_LIBRARY__
+# include <string.h>
+#endif
+
 extern char *malloc ();
 char *xmalloc ();