diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl
index 11dc04b7..4e3a4a22 100644
--- 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))
     ).