correct variable_names culprit · mthom/scryer-prolog@7fef8a3 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -250,9 +250,9 @@
250	250	( nonvar(VarName), VarName = (Atom = _) ->
251	251	( atom(Atom) -> must_be_var_names_list_(VarNames)
252	252	; var(Atom) -> throw(error(instantiation_error, write_term/2))
253		-; throw(error(domain_error(write_options, variable_names(VarName)), write_term/2))
	253	+; throw(error(domain_error(write_options, variable_names([VarName \| VarNames])), write_term/2))
254	254	)
255		- ; throw(error(domain_error(write_options, variable_names(VarName)), write_term/2))
	255	+ ; throw(error(domain_error(write_options, variable_names([VarName \| VarNames])), write_term/2))
256	256	).
257	257
258	258	write_term(_, Options) :-