From 2ab4ce503eb4779ffe70f9b8f43584684eb408ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 7 Dec 2011 22:26:22 +0000
Subject: [PATCH] fix bad declaration.

---
 H/Yapproto.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/H/Yapproto.h b/H/Yapproto.h
index 34af15026..5e34805c4 100644
--- a/H/Yapproto.h
+++ b/H/Yapproto.h
@@ -242,7 +242,7 @@ void    STD_PROTO(Yap_init_yapor_workers, (void));
 #if defined(YAPOR) || defined(THREADS)
 void	STD_PROTO(Yap_KillStacks,(int));
 #else
-void	STD_PROTO(Yap_KillStacks,(void));
+void	STD_PROTO(Yap_KillStacks,(int));
 #endif
 void	STD_PROTO(Yap_InitYaamRegs,(void));
 void    STD_PROTO(Yap_ReInitWallTime, (void));