diff --git a/pl/preds.yap b/pl/preds.yap index 420f49ab3..0412f7e4b 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -813,7 +813,7 @@ predicate_property(Pred,Prop) :- '$predicate_property'(P,M,_,built_in) :- - '$system_predicate'(P,M), !. + '$system_predicate'(P,M). '$predicate_property'(P,M,_,source) :- '$flags'(P,M,F,F), F /\ 0x00400000 =\= 0.