From 2e15ab44ab473e49cb518b030da21ba27b7fed2c Mon Sep 17 00:00:00 2001 From: notoria Date: Sat, 18 Apr 2020 18:28:26 +0200 Subject: [PATCH] Removed a check in get_single_char --- src/prolog/lib/charsio.pl | 1 - 1 file changed, 1 deletion(-) 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)) ). -- 2.54.0