fix warning
This commit is contained in:
parent
6b98791e53
commit
a22aca2f81
@ -719,7 +719,7 @@ append_args(Term, Args, NewTerm) :-
|
|||||||
append(OldArgs, Args, GoalArgs),
|
append(OldArgs, Args, GoalArgs),
|
||||||
NewTerm =.. [Meta|GoalArgs].
|
NewTerm =.. [Meta|GoalArgs].
|
||||||
|
|
||||||
aux_preds(Meta, MetaVars, Pred, PredVars, Proto) :-
|
aux_preds(Meta, _, _, _, _) :-
|
||||||
var(Meta), !,
|
var(Meta), !,
|
||||||
fail.
|
fail.
|
||||||
aux_preds(_:Meta, MetaVars, Pred, PredVars, Proto) :- !,
|
aux_preds(_:Meta, MetaVars, Pred, PredVars, Proto) :- !,
|
||||||
|
Reference in New Issue
Block a user