diff --git a/pl/preds.yap b/pl/preds.yap index d0214962d..c817c32f8 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -928,7 +928,7 @@ system_predicate(P) :- ( '$current_predicate'(M,A,Arity) -> - '$ifunctor'(T,A,Arity) + '$ifunctor'(T,A,Arity), '$pred_exists'(T,M) % ; % '$current_predicate'(prolog,A,Arity)