From 0740495d77dc86ce6bed4c36d2341cda638ea732 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 4 May 2010 15:16:10 +0100 Subject: [PATCH] PL_handle_signals is now provided by PLStream --- library/yap2swi/yap2swi.c | 9 --------- 1 file changed, 9 deletions(-) diff --git a/library/yap2swi/yap2swi.c b/library/yap2swi/yap2swi.c index 4615b3c8e..03c85df8a 100755 --- a/library/yap2swi/yap2swi.c +++ b/library/yap2swi/yap2swi.c @@ -2487,15 +2487,6 @@ X_API void PL_load_extensions(const PL_extension *ptr) } } -X_API int PL_handle_signals(void) -{ - if (EX) { - return -1; - } - fprintf(stderr,"PL_handle_signals not implemented\n"); - return 0; -} - X_API int PL_is_inf(term_t st) { Term t = Deref(Yap_GetFromSlot(st));