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)