use in_character

This addresses one aspect of #1472.

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 3ddd056ea33ca94848520599c36d11c2872ad393..f4fa5104a9b4fca9ddca07d2359a96adb5c4d4d1 100644 (file)
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1366,12 +1366,12 @@ char_code(Char, Code) :-
     ).
 
 get_char(C) :-
-    error:can_be(character, C),
+    error:can_be(in_character, C),
     current_input(S),
     '$get_char'(S, C).
 
 get_char(S, C) :-
-    error:can_be(character, C),
+    error:can_be(in_character, C),
     '$get_char'(S, C).
 
 can_be_number(N, PI) :-