use in_character

This addresses one aspect of #1472.
2022-05-22 22:43:48 +02:00
parent d5fa8cc211
commit 6b49653754
1 changed files with 2 additions and 2 deletions
--- 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) :-