diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-15 08:42:04 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-15 08:42:04 -0800 |
commit | 77be242e6af75148771620fcbbaad191d1c11b60 (patch) | |
tree | 476cc4692d235e6f908152e3f12aac61449bebac /src/include/open-axiom/token | |
parent | b56562693a88f88e7c290de9e1dc18d96a0da792 (diff) | |
download | open-axiom-77be242e6af75148771620fcbbaad191d1c11b60.tar.gz |
TokenValue::Indent, TokenValue::Unindent, TokenValue::Justify
Classify them as formatting tokens. Remove TokenValue::Artificial.
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 }; |