From 0fad2f9953107df74eb912adb8e7f138f80a4dd0 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 12 Apr 2020 18:10:45 -0600 Subject: [PATCH] make write_term_to_chars work with variable terms (#335) --- src/prolog/lib/charsio.pl | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl index f11ef287..3ef735ee 100644 --- a/src/prolog/lib/charsio.pl +++ b/src/prolog/lib/charsio.pl @@ -24,8 +24,6 @@ write_term_to_chars(Term, Options, Chars) :- '$skip_max_list'(_, -1, Options, Options0), ( var(Options0) -> throw(error(instantiation_error, write_term_to_chars/3)) - ; var(Term) -> - throw(error(instantiation_error, write_term_to_chars/3)) ; nonvar(Chars) -> throw(error(uninstantiation_error(Chars), write_term_to_chars/3)) ; Options0 == [] -> -- 2.54.0