From a8a535afa42b1a3800083e160f85b7fe81fd4147 Mon Sep 17 00:00:00 2001
From: vscosta <vsc@dcc.fc.up.pt>
Date: Mon, 10 Nov 2014 01:56:56 +0000
Subject: [PATCH] warnings

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

diff --git a/C/signals.c b/C/signals.c
index 68a9e0a1f..e47d8b508 100755
--- a/C/signals.c
+++ b/C/signals.c
@@ -253,8 +253,10 @@ Yap_signal(yap_signals sig)
   do_signal(worker_id, sig PASS_REGS);
 }
 
+#ifdef DEBUG
 static Int
 p_debug( USES_REGS1 );
+#endif
 
 void 
 Yap_external_signal(int wid, yap_signals sig)