@@ -181,7 +181,7 @@ legalAtom(unsigned char *s) /* Is this a legal atom ? */
returnFALSE;
else
while(ch){
if(Yap_chtype[ch]!=SY||ch=='\\')
if(Yap_chtype[ch]!=SY)
returnFALSE;
ch=*++s;
}
Reference in New Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.