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

Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3

Browse Source
This commit is contained in:
Vitor Santos Costa 2014-03-20 13:34:59 +00:00
commit ace56c730b
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
OPTYap/tab.insts.i
View File

@ -548,7 +548,9 @@
} else {
/* subgoal in evaluation */
choiceptr leader_cp;
#ifdef YAPOR
int leader_dep_on_stack;
#endif
find_dependency_node(sg_fr, leader_cp, leader_dep_on_stack);
UNLOCK_SG_FR(sg_fr);
find_leader_node(leader_cp, leader_dep_on_stack);
@ -696,7 +698,9 @@
} else {
/* subgoal in evaluation */
choiceptr leader_cp;
#ifdef YAPOR
int leader_dep_on_stack;
#endif
find_dependency_node(sg_fr, leader_cp, leader_dep_on_stack);
UNLOCK_SG_FR(sg_fr);
find_leader_node(leader_cp, leader_dep_on_stack);
@ -856,7 +860,9 @@
} else {
/* subgoal in evaluation */
choiceptr leader_cp;
#ifdef YAPOR
int leader_dep_on_stack;
#endif
find_dependency_node(sg_fr, leader_cp, leader_dep_on_stack);
UNLOCK_SG_FR(sg_fr);
find_leader_node(leader_cp, leader_dep_on_stack);