From b9ae6fd4df9fb351e2385e2948a9fa7724037558 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Mon, 14 Oct 2002 16:09:08 +0000
Subject: [PATCH] avoid clause

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@634 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 library/cleanup.yap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/cleanup.yap b/library/cleanup.yap
index b00e30687..492e2b645 100644
--- a/library/cleanup.yap
+++ b/library/cleanup.yap
@@ -142,7 +142,7 @@ cleanup_expansion([H,T]) :- cleanup_expansion(H),cleanup_expansion(T).
 cleanup_expansion(G/A) :-
  	atom(G),integer(A),!,
 	compose_var_goal(G/A,GG),
-	\+ clause(user:goal_expansion(GG,M,NG),_), % TODO: match body too
+        \+ user:goal_expansion(GG,M,call_cleanup(M:GG)),
 	assert((   user:goal_expansion(GG,M,NG)
 	       :-  bb_get(expansion_toggle,1)
 	       ->  bb_put(expansion_toggle,0),