diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl index 7a4186a5..afe745a2 100644 --- a/src/lib/charsio.pl +++ b/src/lib/charsio.pl @@ -153,7 +153,7 @@ char_type(Char, Type) :- max_char_code(Max) :- catch((length(_, Code), - catch(char_code(Char, Code), + catch(char_code(_Char, Code), error(representation_error(_),_), throw(max_char_code(Code))), false),