fix syntax error in current_predicate

This commit is contained in:
Vitor Santos Costa 2008-09-18 17:48:01 +01:00
parent 02893cc83f
commit 7f51339a97

View File

@ -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)