diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix bug in removing first clause of a try sequence (lu preds)

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1197 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2004-12-06 04:50:22 +00:00
parent 385035f2a5
commit 0fe29b48b4
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
C/index.c
View File

@ -11,8 +11,13 @@
* File: index.c *
* comments: Indexing a Prolog predicate *
* *
* Last rev: $Date: 2004-12-05 05:01:24 $,$Author: vsc $ *
* Last rev: $Date: 2004-12-06 04:50:22 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $
* Revision 1.109 2004/12/05 05:01:24 vsc
* try to reduce overheads when running with goal expansion enabled.
* CLPBN fixes
* Handle overflows when allocating big clauses properly.
*
* Revision 1.108 2004/11/19 22:08:42 vsc
* replace SYSTEM_ERROR by out OUT_OF_WHATEVER_ERROR whenever appropriate.
*
@ -5539,7 +5544,7 @@ kill_clause(yamop *ipc, yamop *bg, yamop *lt, path_stack_entry *sp0, PredEntry *
}
} else {
if (IN_BETWEEN(bg, start->u.Ill.l1->u.ld.d, lt)) {
start->u.Ill.l1->u.l.l = FAILCODE;
start->u.Ill.l1->u.ld.d = FAILCODE;
}
}
start->opc = Yap_opcode(_stale_lu_index);