Menu

Commit [r7710]  Maximize  Restore  History

In is_charlist, if (! PRINTABLE_OR_ESCAPED_CHAR(head_char) ) was checking

head_char instead of head_int. As result, things like 341 were considered
printable characters.

kifer 2013-01-28

changed /trunk/XSB/emu/cinterf.c
/trunk/XSB/emu/cinterf.c Diff Switch to side-by-side view
Loading...
Auth0 Logo