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

fix yapor+tabling

Browse Source
This commit is contained in:
Joao 2011-03-29 15:52:44 +01:00
parent 1cede1f4d6
commit 3664bc64d4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
OPTYap/or.engine.c
View File

@ -354,7 +354,7 @@ sync_with_p:
#endif /* TABLING */
return TRUE;
}
}
/* ------------------------- **
@ -523,7 +523,7 @@ void share_private_nodes(int worker_q) {
next_node_on_branch = sharing_node;
STACK_PUSH_UP(or_frame, stack);
STACK_CHECK_EXPAND(stack, stack_limit);
STACK_PUSH(sharing_node, stack);
STACK_PUSH_UP(sharing_node, stack);
STACK_CHECK_EXPAND(stack, stack_limit);
sharing_node = consumer_cp;
dep_frame = DepFr_next(dep_frame);