From 3664bc64d4be6ed69137df712c65bed704d172d0 Mon Sep 17 00:00:00 2001
From: Joao <joao@leap-jsantos.(none)>
Date: Tue, 29 Mar 2011 15:52:44 +0100
Subject: [PATCH] fix yapor+tabling

---
 OPTYap/or.engine.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/OPTYap/or.engine.c b/OPTYap/or.engine.c
index 1b73bb3bd..f04523362 100644
--- a/OPTYap/or.engine.c
+++ b/OPTYap/or.engine.c
@@ -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);