use must_be(chars) in read_from_chars/2 (#1305)

diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl
index 33e6e422c0e2998cefef59bb3c9cb5036d7a65f2..4ac7df2b9cdb9ff30c16472b7c991a91cf342347 100644 (file)
--- a/src/lib/charsio.pl
+++ b/src/lib/charsio.pl
@@ -114,17 +114,7 @@ get_single_char(C) :-
 
 
 read_from_chars(Chars, Term) :-
-    (  var(Chars) ->
-       instantiation_error(read_from_chars/2)
-    ;  nonvar(Term) ->
-       throw(error(uninstantiation_error(Term), read_from_chars/2))
-    ;  '$skip_max_list'(_, _, Chars, Chars0),
-       Chars0 == [],
-       partial_string(Chars) ->
-       true
-    ;
-       type_error(complete_string, Chars, read_from_chars/2)
-    ),
+    must_be(chars, Chars),
     '$read_term_from_chars'(Chars, Term).