From 6cccadb8cb92082ccc88ec9ec6fdce90e7e57f41 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 3 Feb 2011 11:26:46 +0000
Subject: [PATCH] export signal:wq

---
 C/c_interface.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/C/c_interface.c b/C/c_interface.c
index eac1cb109..5a4f9915d 100755
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -521,6 +521,7 @@ X_API int      STD_PROTO(YAP_Erase,(void *));
 X_API int      STD_PROTO(YAP_Variant,(Term, Term));
 X_API int      STD_PROTO(YAP_ExactlyEqual,(Term, Term));
 X_API Int      STD_PROTO(YAP_TermHash,(Term, Int, Int, int));
+X_API void     STD_PROTO(YAP_signal,(int));
 X_API int      STD_PROTO(YAP_SetYAPFlag,(yap_flag_t, int));
 
 static int (*do_getf)(void);
@@ -3246,6 +3247,12 @@ YAP_SlotsToArgs(int n, Int slot)
   }
 }
 
+X_API void 
+YAP_signal(int sig)
+{
+  Yap_signal(sig);
+}
+
 
 X_API int
 YAP_SetYAPFlag(yap_flag_t flag, int val)