call UDI at abolish.

2012-06-21 16:47:19 +01:00
parent 71eeda081c
commit c64d22311d
3 changed files with 11 additions and 0 deletions
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -2633,6 +2633,9 @@ p_endconsult( USES_REGS1 )
 static void
 purge_clauses(PredEntry *pred)
 {
+  if (pred->PredFlags & UDIPredFlag) {
+    Yap_udi_abolish(pred);
+  }
  if (pred->cs.p_code.NOfClauses) {
    if (pred->PredFlags & IndexedPredFlag)
      RemoveIndexation(pred);