From 86a79e2cab4c60d5de1d044d4df5a0d293b72d5d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 26 Oct 2014 17:37:46 +0000 Subject: [PATCH] provide a real interface to exo routines: needed by raptor --- C/exo.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/C/exo.c b/C/exo.c index 24fa355cc..2593c60c7 100755 --- a/C/exo.c +++ b/C/exo.c @@ -39,7 +39,7 @@ #endif bool YAP_NewExo( PredEntry *ap, size_t data, struct udi_info *udi); -bool YAP_ExoAssert( PredEntry *pe, const Term *ts, size_t m); +bool YAP_AssertTuples( PredEntry *pe, const Term *ts, size_t m); //static int exo_write=FALSE; @@ -726,7 +726,7 @@ store_exo(yamop *pc, UInt arity, Term t0) } bool -YAP_ExoAssert( PredEntry *pe, const Term *ts, size_t m) +YAP_AssertTuples( PredEntry *pe, const Term *ts, size_t m) { MegaClause *mcl = ClauseCodeToMegaClause(pe->cs.p_code.FirstClause); size_t i, n = pe->cs.p_code.NOfClauses;