From 36878b9a2bc85e6536267c2e56549f8bcbacf37b Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Mon, 22 Nov 2004 16:31:33 +0000
Subject: [PATCH] oops...

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1184 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 pl/boot.yap | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/pl/boot.yap b/pl/boot.yap
index da5596308..2785188a2 100644
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -615,20 +615,20 @@ incore(G) :- '$execute'(G).
 ','(X,Y) :-
 	'$save_current_choice_point'(CP),
 	'$current_module'(M),
-        '$call'(X,CP,G0,M),
-        '$call'(Y,CP,G0,M).
+        '$call'(X,CP,(X,Y),M),
+        '$call'(Y,CP,(X,Y),M).
 ';'(X,Y) :-
 	'$save_current_choice_point'(CP),
 	'$current_module'(M),
-        ( '$call'(X,CP,G0,M) ; '$call'(Y,CP,G0,M) ).
+        ( '$call'(X,CP,(X;Y),M) ; '$call'(Y,CP,(X;Y),M) ).
 '|'(X,Y) :-
 	'$save_current_choice_point'(CP),
 	'$current_module'(M),
-        ( '$call'(X,CP,G0,M) ; '$call'(Y,CP,G0,M) ).
-'|'(X,Y) :-
+        ( '$call'(X,CP,(X|Y),M) ; '$call'(Y,CP,(X|Y),M) ).
+'->'(X,Y) :-
 	'$save_current_choice_point'(CP),
 	'$current_module'(M),
-        ( '$call'(X,CP,G0,M) -> '$call'(Y,CP,G0,M) ).
+        ( '$call'(X,CP,G0,M) -> '$call'(Y,CP,(X->Y),M) ).
 \+(G) :-     \+ '$execute'(G).
 not(G) :-    \+ '$execute'(G).