diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index df7696f9..3100f7f9 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -1736,7 +1736,7 @@ chars_or_vars_([C|Cs], PI) :- ( nonvar(C) -> ( atom(C), atom_length(C, 1) -> - chars_or_vars(Cs, PI) + chars_or_vars_(Cs, PI) ; throw(error(type_error(character, C), PI)) ) ; chars_or_vars_(Cs, PI)