ISO
This commit is contained in:
parent
993a9272d1
commit
4612a7cc57
@ -437,7 +437,7 @@ legalAtom(unsigned char *s) /* Is this a legal atom ? */
|
|||||||
return (s[1] == '}' && !s[2]);
|
return (s[1] == '}' && !s[2]);
|
||||||
} else if (Yap_chtype[ch] == SL) {
|
} else if (Yap_chtype[ch] == SL) {
|
||||||
return (!s[1]);
|
return (!s[1]);
|
||||||
} else if ((ch == ',' /* || ch == '.' */) && !s[1]) {
|
} else if ((ch == ',' || ch == '.') && !s[1]) {
|
||||||
return FALSE;
|
return FALSE;
|
||||||
} else {
|
} else {
|
||||||
if (ch == '/') {
|
if (ch == '/') {
|
||||||
|
Reference in New Issue
Block a user