From 4612a7cc5716e4d6c9372dee024eab68de9c10dd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 20 Dec 2013 00:34:15 +0000
Subject: [PATCH] ISO

---
 C/write.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 == '/') {