diff --git a/C/write.c b/C/write.c
index 75c78847e..79cc46091 100755
--- a/C/write.c
+++ b/C/write.c
@@ -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])