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 f11ef287e17b2bf70a21074087c7017dbf1409d5..3ef735eea07619f80fe0f8e7fba75bfc9a5a81ff 100644 (file)
--- 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 == [] ->