From 7fef8a3e86ab2e5f66b65f438cb6764a5c8fe2ad Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Wed, 8 May 2019 19:58:05 -0400 Subject: [PATCH] correct variable_names culprit --- Cargo.toml | 2 +- src/prolog/lib/builtins.pl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 34f29fd3..87a3cd2f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "scryer-prolog" -version = "0.8.79" +version = "0.8.80" authors = ["Mark Thom "] repository = "https://github.com/mthom/scryer-prolog" description = "A modern Prolog implementation written mostly in Rust." diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl index 5c65e610..7bff4c1c 100644 --- a/src/prolog/lib/builtins.pl +++ b/src/prolog/lib/builtins.pl @@ -250,9 +250,9 @@ must_be_var_names_list_([VarName | VarNames]) :- ( nonvar(VarName), VarName = (Atom = _) -> ( atom(Atom) -> must_be_var_names_list_(VarNames) ; var(Atom) -> throw(error(instantiation_error, write_term/2)) - ; throw(error(domain_error(write_options, variable_names(VarName)), write_term/2)) + ; throw(error(domain_error(write_options, variable_names([VarName | VarNames])), write_term/2)) ) - ; throw(error(domain_error(write_options, variable_names(VarName)), write_term/2)) + ; throw(error(domain_error(write_options, variable_names([VarName | VarNames])), write_term/2)) ). write_term(_, Options) :- -- 2.54.0