diff --git a/C/index.c b/C/index.c index c6aad2047..4192e5ca3 100755 --- a/C/index.c +++ b/C/index.c @@ -4545,6 +4545,8 @@ remove_dirty_clauses_from_index(yamop *header) endop = Yap_opcode(_count_trust_logical); else if (ap->PredFlags & ProfiledPredFlag) endop = Yap_opcode(_profiled_trust_logical); + //printf("E0 %p: %p %p\n", header, header->u.Illss.l1, header->u.Illss.l2); + //printf("E1 %p %d %d %p\n", curp, header->u.Illss.s, header->u.Illss.e, endop); while ((cl = curp->u.OtaLl.d) && (cl->ClFlags & ErasedMask)) { yamop *ocurp = curp; @@ -4553,6 +4555,7 @@ remove_dirty_clauses_from_index(yamop *header) Yap_DirtyCps--; Yap_FreedCps++; #endif + //printf("loop %p %p %d %p\n", curp, curp->u.OtaLl.n, header->u.Illss.e, curp->opc); clean_ref_to_clause(cl); curp = curp->u.OtaLl.n; Yap_LUIndexSpace_CP -= (UInt)NEXTOP((yamop*)NULL,OtaLl);