From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 13 Apr 2020 00:10:45 +0000 (-0600)
Subject: make write_term_to_chars work with variable terms (#335)
X-Git-Tag: v0.8.119~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0fad2f9953107df74eb912adb8e7f138f80a4dd0;p=scryer-prolog.git

make write_term_to_chars work with variable terms (#335)
---

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 == [] ->