[PATCH-YAP 4/4] ISO: quote atoms starting with /* (7.10.5 d)
from ulrich neumerkel
This commit is contained in:
parent
1b36c79733
commit
86d0a251b5
@ -285,6 +285,8 @@ legalAtom(unsigned char *s) /* Is this a legal atom ? */
|
||||
return (*++s == ']' && !(*++s));
|
||||
else if (ch == '{')
|
||||
return (*++s == '}' && !(*++s));
|
||||
else if (ch == '/')
|
||||
return (*++s != '*');
|
||||
else if (Yap_chtype[ch] == SL)
|
||||
return (!*++s);
|
||||
else if ((ch == ',' || ch == '.') && !s[1])
|
||||
|
Reference in New Issue
Block a user