From 907d10128d7e6ff26f86a3f0e4bf0919e629a84f Mon Sep 17 00:00:00 2001
From: Paulo Moura <pmoura@logtalk.org>
Date: Tue, 23 Nov 2010 00:12:41 +0000
Subject: [PATCH] Commented out buggy patch for supporting quote atoms starting
 with /* as it breaks write_canonical/1.

---
 C/write.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/C/write.c b/C/write.c
index bc77cfac6..504c2bdf2 100755
--- a/C/write.c
+++ b/C/write.c
@@ -303,8 +303,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 (ch == '/')
+//      return (*++s != '*');
     else if (Yap_chtype[ch] == SL)
       return (!*++s);
     else if ((ch == ',' || ch == '.') && !s[1])