From c071e145a7fd38c1d6bc464e0a86db6da12342df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 28 Nov 2014 02:30:19 +0000
Subject: [PATCH] portabiity

---
 C/signals.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/C/signals.c b/C/signals.c
index e47d8b508..379df3f60 100755
--- a/C/signals.c
+++ b/C/signals.c
@@ -32,10 +32,14 @@ static char     SccsId[] = "%W% %G%";
 #ifdef TABLING
 #include "tab.macros.h"
 #endif /* TABLING */
+#include <stdlib.h>
 #include <stdio.h>
 #if HAVE_STRING_H
 #include <string.h>
 #endif
+#if HAVE_STRINGS_H
+#include <strings.h>
+#endif
 #if HAVE_MALLOC_H
 #include <malloc.h>
 #endif