From 61eb299ba585bd7172d5b1d91a95c7ac32b3aedd Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 26 Feb 2010 10:03:32 +0000
Subject: [PATCH] fix call(\+ !).

---
 pl/boot.yap | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pl/boot.yap b/pl/boot.yap
index cb85aa16f..14f08cc69 100755
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -879,6 +879,7 @@ not(G) :-    \+ '$execute'(G).
 	    '$call'(B,CP,G0,M)
 	).
 '$call'(\+ X, _CP, _G0, M) :- !,
+	yap_hacks:current_choicepoint(CP),
 	\+  '$call'(X,CP,G0,M).
 '$call'(not(X), _CP, _G0, M) :- !,
 	\+  '$call'(X,CP,G0,M).