From 2960f81e041d309bc42c2e44bf7d844b5bffc0c5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 2 Oct 2014 14:34:51 +0100 Subject: [PATCH] just say cmp preds are binary. --- C/init.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/C/init.c b/C/init.c index 8c6392359..fdfde20c2 100755 --- a/C/init.c +++ b/C/init.c @@ -627,7 +627,7 @@ Yap_InitCmpPred(const char *Name, UInt Arity, CmpPredicate cmp_code, UInt flags) return; } } - if (pe->PredFlags & CPredFlag) { + if (pe->PredFlags & BinaryPredFlag) { flags = update_flags_from_prolog(flags, pe); p_code = pe->CodeOfPred; /* already exists */ @@ -651,7 +651,7 @@ Yap_InitCmpPred(const char *Name, UInt Arity, CmpPredicate cmp_code, UInt flags) } } } - pe->PredFlags = flags | StandardPredFlag | CPredFlag; + //pe->PredFlags = flags | StandardPredFlag; pe->CodeOfPred = p_code; pe->cs.d_code = cmp_code; pe->ModuleOfPred = CurrentModule; @@ -1054,6 +1054,7 @@ InitSWIAtoms(void) int j=0; MaxAtomTranslations = 2*N_SWI_ATOMS ; SWI_Atoms = (Atom *)malloc(sizeof(Atom)*MaxAtomTranslations); + SWI_Functors = (Functor *)malloc(sizeof(Functor)*2*N_SWI_ATOMS); #include "iswiatoms.h" Yap_InitSWIHash(); ATOM_ = PL_new_atom("");