From b0a5df2838242ca788c835ccf291195cdc7fcd36 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 25 Apr 2020 19:59:38 +0200 Subject: [PATCH] use an anonymous variable --- src/prolog/lib/charsio.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.54.0