diff options
Diffstat (limited to 'src/include/open-axiom/token')
-rw-r--r-- | src/include/open-axiom/token | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/include/open-axiom/token b/src/include/open-axiom/token index 1b4f78f0..da508a82 100644 --- a/src/include/open-axiom/token +++ b/src/include/open-axiom/token @@ -66,10 +66,6 @@ namespace OpenAxiom { #define OPENAXIOM_DEFINE_TOKEN(T, ...) T, #include <open-axiom/token-value> #undef OPENAXIOM_DEFINE_TOKEN - Artificial, // Tokens after this are artificial - Indent, // new line indentation, greater than previous - Unindent, // new line indentation, less than previous - Justify, // align indentation with preceding line. EndOfStream // end of token stream }; |