diff --git a/library/yap2swi/yap2swi.c b/library/yap2swi/yap2swi.c index e8fedc709..3aa2536fe 100644 --- a/library/yap2swi/yap2swi.c +++ b/library/yap2swi/yap2swi.c @@ -1772,6 +1772,9 @@ X_API void PL_load_extensions(PL_extension *ptr) X_API int PL_handle_signals(void) { + if (EX) { + return -1; + } fprintf(stderr,"PL_handle_signals not implemented\n"); return 0; }