From: Markus Triska Date: Sat, 25 Apr 2020 17:59:38 +0000 (+0200) Subject: use an anonymous variable X-Git-Tag: v0.8.123~106^2~4^2~3 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b0a5df2838242ca788c835ccf291195cdc7fcd36;p=scryer-prolog.git use an anonymous variable --- diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl index e09c2185..df0e050b 100644 --- a/src/prolog/lib/charsio.pl +++ b/src/prolog/lib/charsio.pl @@ -47,7 +47,7 @@ extend_var_list(Value, VarList, NewVarList, VarType) :- term_variables(Value, Vars), extend_var_list_(Vars, 0, VarList, NewVarList, VarType). -extend_var_list_([], N, VarList, VarList, _). +extend_var_list_([], _, VarList, VarList, _). extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :- ( var_list_contains_variable(VarList, V) -> extend_var_list_(Vs, N, VarList, NewVarList, VarType)