From 062293055b823525e718ba5c59f6b4d2c557bc82 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 3 Jan 2016 01:16:38 +0000 Subject: [PATCH] protect systemm --- C/adtdefs.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/C/adtdefs.c b/C/adtdefs.c index 74cd0235a..11a49e26b 100755 --- a/C/adtdefs.c +++ b/C/adtdefs.c @@ -968,6 +968,8 @@ Prop Yap_NewPredPropByAtom(AtomEntry *ae, Term cur_mod) { if (!trueGlobalPrologFlag(DEBUG_INFO_FLAG)) { p->PredFlags |= (NoTracePredFlag | NoSpyPredFlag); } + if (Yap_isSystemModule(CurrentModule)) + p->PredFlags |= StandardPredFlag; WRITE_UNLOCK(ae->ARWLock); { Yap_inform_profiler_of_clause(&(p->OpcodeOfPred), &(p->OpcodeOfPred) + 1, p,