diff --git a/H/iatoms.h b/H/iatoms.h
index a20d5940b..ac886ee29 100644
--- a/H/iatoms.h
+++ b/H/iatoms.h
@@ -108,7 +108,7 @@
   AtomDoStaticClause = Yap_FullLookupAtom("$do_static_clause");
   AtomDots = Yap_LookupAtom("dots");
   AtomDOUBLE = Yap_FullLookupAtom("Double");
-  AtomDoubleDash = Yap_FullLookupAtom("//");
+  AtomDoubleSlash = Yap_FullLookupAtom("//");
   AtomE = Yap_LookupAtom("e");
   AtomEOFBeforeEOT = Yap_LookupAtom("end_of_file_found_before_end_of_term");
   AtomEQ = Yap_LookupAtom("=");
diff --git a/H/ratoms.h b/H/ratoms.h
index 477b1bdb4..1e6be66c8 100644
--- a/H/ratoms.h
+++ b/H/ratoms.h
@@ -108,7 +108,7 @@
   AtomDoStaticClause = AtomAdjust(AtomDoStaticClause);
   AtomDots = AtomAdjust(AtomDots);
   AtomDOUBLE = AtomAdjust(AtomDOUBLE);
-  AtomDoubleDash = AtomAdjust(AtomDoubleDash);
+  AtomDoubleSlash = AtomAdjust(AtomDoubleSlash);
   AtomE = AtomAdjust(AtomE);
   AtomEOFBeforeEOT = AtomAdjust(AtomEOFBeforeEOT);
   AtomEQ = AtomAdjust(AtomEQ);
diff --git a/H/tatoms.h b/H/tatoms.h
index 6c5675739..a763efb89 100644
--- a/H/tatoms.h
+++ b/H/tatoms.h
@@ -320,9 +320,9 @@
   Atom AtomDOUBLE_;
 #define AtomDOUBLE Yap_heap_regs->AtomDOUBLE_
 #define TermDOUBLE MkAtomTerm( Yap_heap_regs->AtomDOUBLE_ )
-  Atom AtomDoubleDash_;
-#define AtomDoubleDash Yap_heap_regs->AtomDoubleDash_
-#define TermDoubleDash MkAtomTerm( Yap_heap_regs->AtomDoubleDash_ )
+  Atom AtomDoubleSlash_;
+#define AtomDoubleSlash Yap_heap_regs->AtomDoubleSlash_
+#define TermDoubleSlash MkAtomTerm( Yap_heap_regs->AtomDoubleSlash_ )
   Atom AtomE_;
 #define AtomE Yap_heap_regs->AtomE_
 #define TermE MkAtomTerm( Yap_heap_regs->AtomE_ )
diff --git a/misc/ATOMS b/misc/ATOMS
index b35e3abbd..40c291145 100644
--- a/misc/ATOMS
+++ b/misc/ATOMS
@@ -113,7 +113,7 @@ A	DomainError		N	"domain_error"
 A	DoStaticClause		F	"$do_static_clause"
 A	Dots			N	"dots"
 A	DOUBLE			F	"Double"
-A	DoubleDash			F	"//"
+A	DoubleSlash			F	"//"
 A	E			N	"e"
 A	EOFBeforeEOT		N	"end_of_file_found_before_end_of_term"
 A	EQ			N	"="