diff --git a/C/write.c b/C/write.c index 60f347f49..133a0633d 100644 --- a/C/write.c +++ b/C/write.c @@ -437,7 +437,7 @@ legalAtom(unsigned char *s) /* Is this a legal atom ? */ return (s[1] == '}' && !s[2]); } else if (Yap_chtype[ch] == SL) { return (!s[1]); - } else if ((ch == ',' /* || ch == '.' */) && !s[1]) { + } else if ((ch == ',' || ch == '.') && !s[1]) { return FALSE; } else { if (ch == '/') {