diff options
Diffstat (limited to 'Build/source/utils/asymptote/guideflags.h')
-rw-r--r-- | Build/source/utils/asymptote/guideflags.h | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Build/source/utils/asymptote/guideflags.h b/Build/source/utils/asymptote/guideflags.h deleted file mode 100644 index 80c6cfc1c59..00000000000 --- a/Build/source/utils/asymptote/guideflags.h +++ /dev/null @@ -1,20 +0,0 @@ -/***** - * guideflags.h - * Tom Prince 2004/5/12 - * - * These flags are used to indicate what specifications of the join are - * put on the stack. - *****/ -#ifndef GUIDEFLAGS_H -#define GUIDEFLAGS_H - -namespace camp { - -#undef OUT -#undef IN - -enum side { OUT, IN, END, JOIN }; - -} - -#endif //GUIDEFLAGS_H |