From a22aca2f81ea5739cef085ea1e72de8c8ab57987 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa=20II?= Date: Thu, 22 Apr 2010 16:29:08 +0100 Subject: [PATCH] fix warning --- library/maplist.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/maplist.yap b/library/maplist.yap index 6647a8488..97ff21cd1 100644 --- a/library/maplist.yap +++ b/library/maplist.yap @@ -719,7 +719,7 @@ append_args(Term, Args, NewTerm) :- append(OldArgs, Args, GoalArgs), NewTerm =.. [Meta|GoalArgs]. -aux_preds(Meta, MetaVars, Pred, PredVars, Proto) :- +aux_preds(Meta, _, _, _, _) :- var(Meta), !, fail. aux_preds(_:Meta, MetaVars, Pred, PredVars, Proto) :- !,