From 268a378ba0de2e9e6576b747ad1f64864d648215 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Fri, 3 Dec 2010 15:14:00 +0000
Subject: [PATCH] fix  p(X) :- once((X, write(yippee), nl)). (obs from Gerlof
 Bouma).

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

diff --git a/pl/modules.yap b/pl/modules.yap
index 4f751eb9d..a3ed65774 100644
--- a/pl/modules.yap
+++ b/pl/modules.yap
@@ -700,6 +700,7 @@ abolish_module(_).
 	'$conj_has_cuts'(G,DCP,NG,OK), OK == ok, !.
 '$clean_cuts'(G,G).
 
+'$conj_has_cuts'(V,_,V, _) :- var(V), !.
 '$conj_has_cuts'(!,DCP,'$$cut_by'(DCP), ok) :- !. 
 '$conj_has_cuts'((G1,G2),DCP,(NG1,NG2), OK) :- !,
 	'$conj_has_cuts'(G1, DCP, NG1, OK),