From 668f5f15039d3d94fea4bba2a08f93aacc6b79ff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 18 Aug 2015 14:51:06 -0500 Subject: [PATCH] support for multiple and discontiguous --- H/Yapproto.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/H/Yapproto.h b/H/Yapproto.h index 30e902d2c..e48f10b06 100755 --- a/H/Yapproto.h +++ b/H/Yapproto.h @@ -124,8 +124,8 @@ Atom Yap_ConsultingFile( USES_REGS1 ); struct pred_entry *Yap_PredForChoicePt(choiceptr bptr, op_numbers *op); void Yap_InitCdMgr(void); struct pred_entry * Yap_PredFromClause( Term t USES_REGS ); -int Yap_discontiguous(struct pred_entry *ap USES_REGS ); -int Yap_multiple(struct pred_entry *ap USES_REGS ); +bool Yap_discontiguous(struct pred_entry *ap USES_REGS ); +bool Yap_multiple(struct pred_entry *ap USES_REGS ); void Yap_init_consult(int, const char *); void Yap_end_consult(void); void Yap_Abolish(struct pred_entry *);