From 801944a0ccb0079fa881d0eb8085cc826e7f562e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 3 Jan 2016 15:40:49 +0000 Subject: [PATCH] // support --- H/iatoms.h | 2 +- H/ratoms.h | 2 +- H/tatoms.h | 4 ++-- misc/ATOMS | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) 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