correct variable_names culprit

diff --git a/Cargo.toml b/Cargo.toml
index 34f29fd3751657296f9cd3f8f227a3949cc2118c..87a3cd2fd445570dcd4885c96a9b2c9b91d2f56e 100644 (file)
--- 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 <[email protected]>"]
 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 5c65e610d89f78e3c17a8a9b99e515235863599e..7bff4c1c09a53133ba0a311964b3a97b58dae183 100644 (file)
--- 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) :-