From: notoria <notoria@users.noreply.github.com>
Date: Sat, 18 Apr 2020 16:28:26 +0000 (+0200)
Subject: Removed a check in get_single_char
X-Git-Tag: v0.8.123~136
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c6a82cbc0733ab6e25795e5f528f4cfeff27ab7b;p=scryer-prolog.git

Removed a check in get_single_char
---

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))
     ).