diff --git a/H/iatoms.h b/H/iatoms.h
index 94f8ff672..a20d5940b 100644
--- a/H/iatoms.h
+++ b/H/iatoms.h
@@ -466,7 +466,7 @@
   FunctorDot7 = Yap_MkFunctor(AtomDot,7);
   FunctorDot8 = Yap_MkFunctor(AtomDot,8);
   FunctorDot9 = Yap_MkFunctor(AtomDot,9);
-  FunctorDoubleDash = Yap_MkFunctor(AtomDoubleDash,2);
+  FunctorDoubleSlash = Yap_MkFunctor(AtomDoubleSlash,2);
   FunctorEmptySquareBrackets = Yap_MkFunctor(AtomEmptySquareBrackets,2);
   FunctorEmptyCurlyBrackets = Yap_MkFunctor(AtomEmptyCurlyBrackets,2);
   FunctorEq = Yap_MkFunctor(AtomEq,2);
diff --git a/H/ratoms.h b/H/ratoms.h
index e68602231..477b1bdb4 100644
--- a/H/ratoms.h
+++ b/H/ratoms.h
@@ -466,7 +466,7 @@
   FunctorDot7 = FuncAdjust(FunctorDot7);
   FunctorDot8 = FuncAdjust(FunctorDot8);
   FunctorDot9 = FuncAdjust(FunctorDot9);
-  FunctorDoubleDash = FuncAdjust(FunctorDoubleDash);
+  FunctorDoubleSlash = FuncAdjust(FunctorDoubleSlash);
   FunctorEmptySquareBrackets = FuncAdjust(FunctorEmptySquareBrackets);
   FunctorEmptyCurlyBrackets = FuncAdjust(FunctorEmptyCurlyBrackets);
   FunctorEq = FuncAdjust(FunctorEq);
diff --git a/H/tatoms.h b/H/tatoms.h
index abb36c5ab..6c5675739 100644
--- a/H/tatoms.h
+++ b/H/tatoms.h
@@ -1342,8 +1342,8 @@
 #define FunctorDot8 Yap_heap_regs->FunctorDot8_
   Functor FunctorDot9_;
 #define FunctorDot9 Yap_heap_regs->FunctorDot9_
-  Functor FunctorDoubleDash_;
-#define FunctorDoubleDash Yap_heap_regs->FunctorDoubleDash_
+  Functor FunctorDoubleSlash_;
+#define FunctorDoubleSlash Yap_heap_regs->FunctorDoubleSlash_
   Functor FunctorEmptySquareBrackets_;
 #define FunctorEmptySquareBrackets Yap_heap_regs->FunctorEmptySquareBrackets_
   Functor FunctorEmptyCurlyBrackets_;
diff --git a/misc/ATOMS b/misc/ATOMS
index 51f88b63f..b35e3abbd 100644
--- a/misc/ATOMS
+++ b/misc/ATOMS
@@ -471,7 +471,7 @@ F	Dot6			Dot		6
 F	Dot7			Dot		7
 F	Dot8			Dot		8
 F	Dot9			Dot		9
-F	DoubleDash			DoubleDash		2
+F	DoubleSlash			DoubleSlash		2
 F	EmptySquareBrackets	EmptySquareBrackets	2
 F	EmptyCurlyBrackets	EmptyCurlyBrackets	2
 F	Eq			Eq		2