Restore the type_error, which was implemented correctly by @notoria.

This corrects f28e87b2401960e3b31bea114318e2b3ef1616d3:
in_character is a valid type by 7.12.2 Error classification!

diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl
index 4e3a4a22a464356750012a3c7a375922119bb794..717bbaaa3027bcba70a49ed2a5aa74fc8c5a250c 100644 (file)
--- a/src/prolog/lib/charsio.pl
+++ b/src/prolog/lib/charsio.pl
@@ -60,7 +60,7 @@ extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :-
 get_single_char(C) :-
     (  var(C) -> '$get_single_char'(C)
     ;  atom_length(C, 1) -> '$get_single_char'(C)
-    ;  throw(error(domain_error(in_character, C), get_single_char/1))
+    ;  throw(error(type_error(in_character, C), get_single_char/1))
     ).