avoid clause

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@634 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-10-14 16:09:08 +00:00 · 2002-10-14 16:09:08 +00:00 · b9ae6fd4df
commit b9ae6fd4df
parent efc7c1c5a6
1 changed files with 1 additions and 1 deletions
--- 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),