Removed a check in get_single_char

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